Subject: CVS commit: pkgsrc/math/minisat
From: Jonathan Perkin
Date: 2014-01-09 15:38:33
Message id: 20140109143833.BB91096@cvs.netbsd.org
Log Message:
Needs zlib.  Provide dummy Minisat::memUsedPeak().
Files:
RevisionActionfile
1.2modifypkgsrc/math/minisat/Makefile
1.3modifypkgsrc/math/minisat/distinfo
1.2modifypkgsrc/math/minisat/patches/patch-utils_System.cc