aboutsummaryrefslogtreecommitdiff
path: root/math/cryptominisat
Commit message (Expand)AuthorAgeFilesLines
* devel/boost: bump consumers after library updateDima Panov2024-02-131-0/+1
* math/cryptominisat: Update to 5.11.21Gleb Popov2024-02-113-5/+4
* math/cryptominisat: Update to 5.11.15Gleb Popov2023-12-292-5/+4
* devel/boost*: bump all consumers after 1.83.0Dima Panov2023-09-271-0/+1
* math/cryptominisat: Update to 5.11.11Gleb Popov2023-07-012-5/+4
* */*: bump all direct Boost cunsumersDima Panov2023-04-271-1/+1
* */*: bump libboost*.so libraries consumert after Boost upgradeDima Panov2023-01-161-0/+1
* math/cryptominisat: Add a missing item to the plist.Gleb Popov2022-10-171-0/+1
* math/cryptominisat: Update to 5.11.4Gleb Popov2022-10-153-6/+5
* Remove WWW entries moved into port MakefilesStefan Eßer2022-09-071-2/+0
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
* */*: bump all consumers after recent boost upgradeDima Panov2022-08-121-1/+1
* devel/boost-all: bump all library consumers after boost upgradeDima Panov2022-05-221-0/+1
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* math/cryptominisat and math/py-cryptominisat: Update to 5.8.0.Gleb Popov2020-10-193-7/+7
* math/cryptominisat and math/py-cryptominisat: Update to 5.7.1Gleb Popov2020-07-093-6/+5
* math/stp and math/cryptominisat: Use correct patch (at STP side) for specifyi...Gleb Popov2020-03-272-14/+1
* math/cryptominisat: Add patch to fix CMake config file. Bump math/stp, as it ...Gleb Popov2020-03-042-1/+14
* devel/boost-*: update to 1.72.0Jan Beich2019-12-111-1/+1
* devel/boost-*: update to 1.71.0Jan Beich2019-08-191-1/+1
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-1/+1
* devel/boost-*: update to 1.70.0Jan Beich2019-04-121-0/+1
* math/cryptominisat and math/py-cryptominisat to 5.6.8.Gleb Popov2019-02-233-22/+4
* Change cmake default behaviour to outsource.Tobias C. Berner2018-12-251-1/+1
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-12-121-1/+1
* devel/boost-*: update to 1.69.0Jan Beich2018-12-121-1/+1
* These ports now build on powerpc64.Mark Linimon2018-09-251-2/+0
* math/cryptominisat: Unbreak on aarch64.Gleb Popov2018-08-102-0/+18
* math/cryptominisat: Update to 5.6.3.Gleb Popov2018-08-102-5/+4
* devel/boost-*: update to 1.68.0Jan Beich2018-08-091-1/+1
* 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-14/+16
* 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
* Fix WWWSunpoet Po-Chuan Hsieh2017-06-261-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-113-6/+8
* - Update math/cryptominisat and math/py-cryptominisat to 5.0.0Carlos J. Puga Medina2016-09-016-37/+16
* 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-067-35/+40
* math/cryptominisat, math/py-cryptominisat: add new portsJan Beich2015-05-056-0/+58
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-16 21:52:45 +0000