/misc/pciids/

hantom.tfcis.org/~lantw44/git/freebsd-ports-gnome' title='freebsd-ports-gnome Git repository'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/math/cryptominisat
Commit message (Expand)AuthorAgeFilesLines
* devel/boost-*: update to 1.71.0jbeich2019-08-191-1/+1
* Bump PORTREVISION for ports depending on the canonical version of GCCgerald2019-07-271-1/+1
* devel/boost-*: update to 1.70.0jbeich2019-04-121-0/+1
* math/cryptominisat and math/py-cryptominisat to 5.6.8.arrowd2019-02-243-22/+4
* Change cmake default behaviour to outsource.tcberner2018-12-261-1/+1
* Bump PORTREVISION for ports depending on the canonical version of GCCgerald2018-12-121-1/+1
* devel/boost-*: update to 1.69.0jbeich2018-12-121-1/+1
* These ports now build on powerpc64.linimon2018-09-251-2/+0
* math/cryptominisat: Unbreak on aarch64.arrowd2018-08-102-0/+18
* math/cryptominisat: Update to 5.6.3.arrowd2018-08-102-5/+4
* devel/boost-*: update to 1.68.0jbeich2018-08-091-1/+1
* Bump PORTREVISION for ports depending on the canonical version of GCCgerald2018-07-301-0/+1
* 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-21