The NetBSD Project

pkgsrc/math/minisat/

Click on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.

Current directory: [cvs.NetBSD.org] / pkgsrc / math / minisat


File Rev. Age Author Last log entry
[BACK] Parent Directory        
[DIR] patches/        
[TXT] DESCR  1.1.1.1   10 years  asau   Import MiniSat version 2.2.0 as math/minisat. MiniSat is a minimalistic, indust...
[TXT] Makefile  1.6   8 months  nia   *: Mark packages that were originally identified as requiring C++03 due to faili...
[TXT] PLIST  1.1.1.1   10 years  asau   Import MiniSat version 2.2.0 as math/minisat. MiniSat is a minimalistic, indust...
[TXT] distinfo  1.6   2 years  nia   math: Replace RMD160 checksums with BLAKE2s checksums All checksums have been d...


CVSweb <webmaster@jp.NetBSD.org>