summaryrefslogtreecommitdiff
path: root/math/minisat
AgeCommit message (Expand)AuthorFilesLines
2021-10-26math: Replace RMD160 checksums with BLAKE2s checksumsnia1-2/+2
2021-10-07math: Remove SHA1 hashes for distfilesnia1-2/+1
2018-07-18Mark packages that require C++03 (or the GNU variants) if they fail withjoerg1-2/+2
2018-01-01Replaced $(ROUND) with ${CURLY} variable references.rillig1-5/+5
2015-11-03Add SHA512 digests for distfiles for math categoryagc1-1/+2
2014-12-15Find correct zlib.jperkin1-1/+2
2014-01-09Needs zlib. Provide dummy Minisat::memUsedPeak().jperkin3-5/+13
2013-11-08Friends may not add default arguments.joerg2-1/+27
2013-10-28Import MiniSat version 2.2.0 as math/minisat.asau5-0/+58