kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
281211 commits 166 branches 0 tags 1.5 GiB
Commit graph

4 commits

Author SHA1 Message Date
rillig
4760eca917 Replaced $(ROUND) with ${CURLY} variable references. 
This has been a pkglint warning for several years now, and pkglint can even
fix it automatically. And it did for this commit.

Only in lang/mercury, two passes of autofixing were necessary because there
were nested variables.
 2018-01-01 18:16:35 +00:00
jperkin
fea0484927 Find correct zlib. 2014-12-15 12:31:09 +00:00
jperkin
b514201ebd Needs zlib. Provide dummy Minisat::memUsedPeak(). 2014-01-09 14:38:33 +00:00
asau
1996ed378f Import MiniSat version 2.2.0 as math/minisat. 
MiniSat is a minimalistic, industrial strength, open-source SAT solver,
developed to help researchers and developers alike to get started on SAT.
 2013-10-28 04:15:11 +00:00