Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update to 0.6.2 release and enable all SMT solvers by default. | Alex Dupre | 2020-01-28 | 4 | -15/+14 |
* | devel/jsoncpp: Update 1.8.1 -> 1.9.2 | Yuri Victorovich | 2020-01-14 | 1 | -0/+1 |
* | Update to 0.6.0 release. | Alex Dupre | 2019-12-18 | 3 | -10/+9 |
* | devel/boost-*: update to 1.72.0 | Jan Beich | 2019-12-12 | 1 | -0/+1 |
* | Update to 0.5.13 release. | Alex Dupre | 2019-11-22 | 2 | -4/+4 |
* | Update to 0.5.12 release. | Alex Dupre | 2019-10-03 | 2 | -4/+4 |
* | Update to 0.5.11 release. | Alex Dupre | 2019-08-22 | 2 | -5/+4 |
* | Mark as not for powerpc*/sparc64: | Mark Linimon | 2019-08-22 | 1 | -0/+3 |
* | 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-07 |