aboutsummaryrefslogtreecommitdiff
path: root/math/py-cryptominisat
Commit message (Expand)AuthorAgeFilesLines
* Bump PORTREVISIONs for ports depending on the canonical version of GCC andGerald Pfeifer2017-04-011-0/+1
* Correct dependencyChris Rees2016-09-041-1/+1
* - Update math/cryptominisat and math/py-cryptominisat to 5.0.0Carlos J. Puga Medina2016-09-013-16/+27
* - Fix trailing whitespace in pkg-descrs, categories [g-n]*Dmitry Marakasov2016-05-191-1/+1
* 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-065-27/+52
* math/cryptominisat, math/py-cryptominisat: add new portsJan Beich2015-05-052-0/+43