aboutsummaryrefslogtreecommitdiffstats
path: root/math/cryptominisat
Commit message (Expand)AuthorAgeFilesLines
* math/cryptominisat and math/py-cryptominisat: Update to 5.6.1.arrowd2018-06-183-14/+16
* devel/boost-*: update to 1.67.0jbeich2018-04-181-1/+1
* devel/boost-*: update to 1.66.0jbeich2018-01-181-1/+1
* Chase vim-lite -> vim-console renameadamw2018-01-121-1/+1
* devel/boost-*: update to 1.65.1jbeich2017-09-251-1/+1
* devel/boost-*: enable C++11 featuresjbeich2017-09-251-1/+1
* Bump PORTREVISION for ports depending on the canonical version of GCCgerald2017-09-111-1/+1
* Fix WWWsunpoet2017-06-271-1/+1
* Mark some ports failing on power64. In cases where the error messagelinimon2017-05-211-0/+2
* devel/boost-*: update to 1.64.0jbeich2017-05-021-1/+1
* Bump PORTREVISIONs for ports depending on the canonical version of GCC andgerald2017-04-011-1/+1
* devel/boost-*: update to 1.63.0jbeich2017-01-061-1/+1
* devel/boost-*: update to 1.62.0jbeich2016-11-231-0/+1
* - Update to 5.0.1amdmi32016-11-123-6/+8
* - Update math/cryptominisat and math/py-cryptominisat to 5.0.0cpm2016-09-016-37/+16
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.mat2016-04-011-2/+2
* math/{py-}cryptominisat: Update to 4.5.3koobs2016-01-067-35/+40
* math/cryptominisat, math/py-cryptominisat: add new portsjbeich2015-05-066-0/+58
generated by cgit (git 2.34.1) at 2025-02-22 03:49:33 +0800