aboutsummaryrefslogtreecommitdiff
path: root/math/stp
Commit message (Expand)AuthorAgeFilesLines
* math/stp: fix build with python 3.12Antoine Brodin2026-01-071-0/+1
* devel/boost: bump consumers after boost upgrade (+)Dima Panov2025-10-201-1/+1
* devel/boost: bump consumers after Boost updateDima Panov2025-06-021-1/+1
* devel/boost: bump consumers after Boost-1.87 updateDima Panov2025-02-141-1/+1
* devel/boost: bump consu,ers after update Boost to 1.86 releaseDima Panov2024-11-201-1/+1
* */*: bump consumers after devel/boost* updateDima Panov2024-10-031-0/+1
* math/stp: Update to 2.3.4Gleb Popov2024-06-154-63/+7
* devel/boost: bump consumers after library updateDima Panov2024-02-131-1/+1
* math/stp: remove nonsensical sbrk useBrooks Davis2023-12-112-4/+46
* devel/boost*: bump all consumers after 1.83.0Dima Panov2023-09-271-1/+1
* */*: bump all direct Boost cunsumersDima Panov2023-04-271-1/+1
* */*: bump libboost*.so libraries consumert after Boost upgradeDima Panov2023-01-161-1/+1
* 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
* math: remove 'Created by' linesTobias C. Berner2022-07-201-2/+0
* devel/boost-all: bump all library consumers after boost upgradeDima Panov2022-05-221-1/+1
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* Mark ports that are BROKEN due to sbrk on aarch64, also BROKEN on riscv64Mark Linimon2021-01-011-1/+2
* math/cryptominisat and math/py-cryptominisat: Update to 5.7.1Gleb Popov2020-07-091-1/+1
* math/stp and math/cryptominisat: Use correct patch (at STP side) for specifyi...Gleb Popov2020-03-272-1/+13
* math/cryptominisat: Add patch to fix CMake config file. Bump math/stp, as it ...Gleb Popov2020-03-041-1/+1
* devel/boost-*: update to 1.72.0Jan Beich2019-12-111-1/+1
* devel/boost-*: update to 1.71.0Jan Beich2019-08-191-1/+1
* math/stp: Update WWW in pkg-descr.Gleb Popov2019-08-011-1/+1
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-0/+1
* math/stp: Update to 2.3.3.Gleb Popov2019-07-212-8/+4
* devel/boost-*: update to 1.70.0Jan Beich2019-04-121-1/+1
* Bump a few PORTREVISIONs after r498529Antoine Brodin2019-04-101-0/+1
* math/stp: Update to 2.3.2.Gleb Popov2019-02-233-7/+6
* 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
* Add compiler:c++11-lang to USES to fix linking with boost.Mark Linimon2018-11-061-2/+1
* devel/boost-*: update to 1.68.0Jan Beich2018-08-091-1/+1
* math/stp: Pull in fixes from the PR I missed.Gleb Popov2018-07-282-1/+5
* math/stp: Update to latest 2.3.1 version.Gleb Popov2018-07-243-11/+19
* Mark ports broken on powerpc64, categories g-n.Mark Linimon2018-06-181-2/+3
* devel/boost-*: update to 1.67.0Jan Beich2018-04-181-1/+1
* devel/boost-*: update to 1.66.0Jan Beich2018-01-181-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
* Make ninja opt-out in cmake.mkTobias C. Berner2017-06-251-1/+1
* devel/boost-*: update to 1.64.0Jan Beich2017-05-021-1/+1
* Mark various ports broken on aarch64 and armv6.Mark Linimon2017-01-311-0/+2
* devel/boost-*: update to 1.63.0Jan Beich2017-01-061-1/+1
* Remove always-true/false conditions after 9.x, 10.[12] EOLDmitry Marakasov2017-01-051-10/+1
* devel/boost-*: update to 1.62.0Jan Beich2016-11-231-1/+1
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-3/+3
* Remove OSVERSION checks that do not make sense any more.Mathieu Arnold2015-04-031-4/+0
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-09 15:19:42 +0000