aboutsummaryrefslogtreecommitdiff
path: root/math/cryptominisat/Makefile
Commit message (Expand)AuthorAgeFilesLines
* math/cryptominisat and math/py-cryptominisat: Update to 5.6.1.Gleb Popov2018-06-171-10/+10
* devel/boost-*: update to 1.67.0Jan Beich2018-04-181-1/+1
* devel/boost-*: update to 1.66.0Jan Beich2018-01-181-1/+1
* Chase vim-lite -> vim-console renameAdam Weinberger2018-01-111-1/+1
* devel/boost-*: update to 1.65.1Jan Beich2017-09-251-1/+1
* devel/boost-*: enable C++11 featuresJan Beich2017-09-251-1/+1
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2017-09-101-1/+1
* Mark some ports failing on power64. In cases where the error messageMark Linimon2017-05-201-0/+2
* devel/boost-*: update to 1.64.0Jan Beich2017-05-021-1/+1
* Bump PORTREVISIONs for ports depending on the canonical version of GCC andGerald Pfeifer2017-04-011-1/+1
* devel/boost-*: update to 1.63.0Jan Beich2017-01-061-1/+1
* devel/boost-*: update to 1.62.0Jan Beich2016-11-231-0/+1
* - Update to 5.0.1Dmitry Marakasov2016-11-111-3/+4
* - Update math/cryptominisat and math/py-cryptominisat to 5.0.0Carlos J. Puga Medina2016-09-011-3/+3
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-2/+2
* math/{py-}cryptominisat: Update to 4.5.3Kubilay Kocak2016-01-061-10/+13
* math/cryptominisat, math/py-cryptominisat: add new portsJan Beich2015-05-051-0/+21
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-11 01:19:15 +0000