Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | devel/boost-*: update to 1.72.0 | Jan Beich | 2019-12-11 | 1 | -1/+1 |
* | Clean up after java/openjdk6 and java/openjdk6-jre removal | Jung-uk Kim | 2019-11-26 | 1 | -1/+1 |
* | devel/boost-*: update to 1.71.0 | Jan Beich | 2019-08-19 | 1 | -1/+1 |
* | math/cvc4: simplify post-patch | Fernando Apesteguía | 2019-08-06 | 1 | -2/+2 |
* | math/cvc4: Fix headers | Fernando Apesteguía | 2019-08-05 | 1 | -0/+5 |
* | math/cvc4: update to 1.7 | Fernando Apesteguía | 2019-08-01 | 14 | -120/+221 |
* | Bump PORTREVISION for ports depending on the canonical version of GCC | Gerald Pfeifer | 2019-07-26 | 1 | -1/+1 |
* | math/cvc4: Remove llvm60 build dependency | Tobias Kortkamp | 2019-05-27 | 1 | -7/+2 |
* | devel/boost-*: update to 1.70.0 | Jan Beich | 2019-04-12 | 1 | -1/+1 |
* | Update devel/readline to 8.0 | Sunpoet Po-Chuan Hsieh | 2019-04-09 | 1 | -1/+1 |
* | devel/boost-*: update to 1.69.0 | Jan Beich | 2018-12-12 | 1 | -1/+1 |
* | devel/boost-*: update to 1.68.0 | Jan Beich | 2018-08-09 | 1 | -0/+1 |
* | math/cvc4: Fix the warning in 'make describe' | Yuri Victorovich | 2018-07-23 | 1 | -1/+1 |
* | math/cvc4: Update 1.5 -> 1.6 | Yuri Victorovich | 2018-07-22 | 6 | -31/+79 |
* | math/cvc4: switch to GMP by default | Steve Wills | 2018-07-08 | 1 | -1/+1 |
* | New port: math/cvc4 | Kurt Jaeger | 2018-06-21 | 6 | -0/+248 |