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   4 years  asau   Import MiniSat version 2.2.0 as math/minisat. MiniSat is a minimalistic, indust...
[TXT] Makefile  1.4   3 months  rillig   Replaced $(ROUND) with ${CURLY} variable references. This has been a pkglint wa...
[TXT] PLIST  1.1.1.1   4 years  asau   Import MiniSat version 2.2.0 as math/minisat. MiniSat is a minimalistic, indust...
[TXT] distinfo  1.4   2 years  agc   Add SHA512 digests for distfiles for math category Problems found locating dist...


CVSweb <webmaster@jp.NetBSD.org>