aboutsummaryrefslogtreecommitdiff
path: root/math/py-cryptominisat
Commit message (Expand)AuthorAgeFilesLines
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* Drop python 2.7 support from a few portsAntoine Brodin2020-12-281-1/+1
* Relax hardcoded paths to fix build with Python 3.8.7Kai Knoblich2020-12-241-1/+1
* math/cryptominisat and math/py-cryptominisat: Update to 5.8.0.Gleb Popov2020-10-192-4/+4
* math/cryptominisat and math/py-cryptominisat: Update to 5.7.1Gleb Popov2020-07-092-5/+4
* math/py-cryptominisat: Drop nop PYDISTUTILS_BUILDTARGETTobias Kortkamp2019-10-121-2/+0
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-0/+1
* math/cryptominisat and math/py-cryptominisat to 5.6.8.Gleb Popov2019-02-233-12/+13
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-12-121-0/+1
* math/cryptominisat: Update to 5.6.3.Gleb Popov2018-08-102-5/+4
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-07-291-0/+1
* math/cryptominisat and math/py-cryptominisat: Update to 5.6.1.Gleb Popov2018-06-173-36/+31
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2017-09-101-1/+1
* 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