aboutsummaryrefslogtreecommitdiff
path: root/math/py-cryptominisat/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-1/+1
* math/{py-}cryptominisat: Update to 4.5.3Kubilay Kocak2016-01-061-8/+16
* math/cryptominisat, math/py-cryptominisat: add new portsJan Beich2015-05-051-0/+24