| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Remove # $FreeBSD$ from Makefiles. | Mathieu Arnold | 2021-04-06 | 1 | -1/+0 |
| * | Mark ports that are BROKEN due to sbrk on aarch64, also BROKEN on riscv64 | Mark Linimon | 2021-01-01 | 1 | -1/+2 |
| * | math/cryptominisat and math/py-cryptominisat: Update to 5.7.1 | Gleb Popov | 2020-07-09 | 1 | -1/+1 |
| * | math/stp and math/cryptominisat: Use correct patch (at STP side) for specifyi... | Gleb Popov | 2020-03-27 | 1 | -1/+1 |
| * | math/cryptominisat: Add patch to fix CMake config file. Bump math/stp, as it ... | Gleb Popov | 2020-03-04 | 1 | -1/+1 |
| * | devel/boost-*: update to 1.72.0 | Jan Beich | 2019-12-11 | 1 | -1/+1 |
| * | devel/boost-*: update to 1.71.0 | Jan Beich | 2019-08-19 | 1 | -1/+1 |
| * | Bump PORTREVISION for ports depending on the canonical version of GCC | Gerald Pfeifer | 2019-07-26 | 1 | -0/+1 |
| * | math/stp: Update to 2.3.3. | Gleb Popov | 2019-07-21 | 1 | -5/+1 |
| * | devel/boost-*: update to 1.70.0 | Jan Beich | 2019-04-12 | 1 | -1/+1 |
| * | Bump a few PORTREVISIONs after r498529 | Antoine Brodin | 2019-04-10 | 1 | -0/+1 |
| * | math/stp: Update to 2.3.2. | Gleb Popov | 2019-02-23 | 1 | -3/+2 |
| * | Change cmake default behaviour to outsource. | Tobias C. Berner | 2018-12-25 | 1 | -1/+1 |
| * | Bump PORTREVISION for ports depending on the canonical version of GCC | Gerald Pfeifer | 2018-12-12 | 1 | -1/+1 |
| * | devel/boost-*: update to 1.69.0 | Jan Beich | 2018-12-12 | 1 | -1/+1 |
| * | Add compiler:c++11-lang to USES to fix linking with boost. | Mark Linimon | 2018-11-06 | 1 | -2/+1 |
| * | devel/boost-*: update to 1.68.0 | Jan Beich | 2018-08-09 | 1 | -1/+1 |
| * | math/stp: Pull in fixes from the PR I missed. | Gleb Popov | 2018-07-28 | 1 | -0/+5 |
| * | math/stp: Update to latest 2.3.1 version. | Gleb Popov | 2018-07-24 | 1 | -7/+8 |
| * | Mark ports broken on powerpc64, categories g-n. | Mark Linimon | 2018-06-18 | 1 | -2/+3 |
| * | devel/boost-*: update to 1.67.0 | Jan Beich | 2018-04-18 | 1 | -1/+1 |
| * | devel/boost-*: update to 1.66.0 | Jan Beich | 2018-01-18 | 1 | -1/+1 |
| * | devel/boost-*: update to 1.65.1 | Jan Beich | 2017-09-25 | 1 | -1/+1 |
| * | devel/boost-*: enable C++11 features | Jan Beich | 2017-09-25 | 1 | -1/+1 |
| * | Make ninja opt-out in cmake.mk | Tobias C. Berner | 2017-06-25 | 1 | -1/+1 |
| * | devel/boost-*: update to 1.64.0 | Jan Beich | 2017-05-02 | 1 | -1/+1 |
| * | Mark various ports broken on aarch64 and armv6. | Mark Linimon | 2017-01-31 | 1 | -0/+2 |
| * | devel/boost-*: update to 1.63.0 | Jan Beich | 2017-01-06 | 1 | -1/+1 |
| * | Remove always-true/false conditions after 9.x, 10.[12] EOL | Dmitry Marakasov | 2017-01-05 | 1 | -10/+1 |
| * | devel/boost-*: update to 1.62.0 | Jan Beich | 2016-11-23 | 1 | -1/+1 |
| * | Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p. | Mathieu Arnold | 2016-04-01 | 1 | -3/+3 |
| * | Remove OSVERSION checks that do not make sense any more. | Mathieu Arnold | 2015-04-03 | 1 | -4/+0 |
| * | Do not overwrite CMAKE_ARGS, fixes packaging on freebsd 9.x | Antoine Brodin | 2014-08-26 | 1 | -1/+1 |
| * | Package something | Antoine Brodin | 2014-08-26 | 1 | -0/+1 |
| * | Convert a bunch of USE_XZ to USES=tar:xz. | Adam Weinberger | 2014-07-29 | 1 | -2/+1 |
| * | Remove indefinite articles and trailing periods from COMMENT, plus minor | Jimmy Olgeni | 2014-07-07 | 1 | -1/+1 |
| * | Fix math/stp build for FreeBSD 9.x | Emanuel Haupt | 2014-03-06 | 1 | -0/+3 |
| * | - Update to revision 1436 | Li-Wen Hsu | 2014-03-03 | 1 | -33/+12 |
| * | Add NO_STAGE all over the place in preparation for the staging support (cat: ... | Baptiste Daroussin | 2013-09-20 | 1 | -0/+1 |
| * | Convert to new perl framework | Baptiste Daroussin | 2013-09-16 | 1 | -3/+2 |
| * | Convert USE_BISON to USES= bison | Baptiste Daroussin | 2013-03-08 | 1 | -6/+2 |
| * | Mark as broken on tier-2: uses i386-specific compiler flags. | Mark Linimon | 2011-12-28 | 1 | -0/+4 |
| * | - Add WITH_DEBUG support | Sunpoet Po-Chuan Hsieh | 2011-11-21 | 1 | -0/+4 |
| * | - Update to revision 1407 | Li-Wen Hsu | 2011-11-11 | 1 | -15/+24 |
| * | - Switch SourceForge ports to the new File Release System: categories startin... | Dmitry Marakasov | 2009-08-22 | 1 | -2/+1 |
| * | - Update to 0.1-11-18-2008 | Li-Wen Hsu | 2008-12-24 | 1 | -3/+3 |
| * | Add stp , a Decision Procedure for Bitvectors and Arrays. | Li-Wen Hsu | 2008-06-19 | 1 | -0/+41 |
