Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove # $FreeBSD$ from Makefiles. | Mathieu Arnold | 2021-04-06 | 1 | -1/+0 |
* | math/clasp: fix build on GCC architectures | Piotr Kubaj | 2020-07-05 | 1 | -1/+1 |
* | - Update to 3.3.5 | Vsevolod Stakhov | 2020-06-19 | 1 | -3/+10 |
* | Change cmake default behaviour to outsource. | Tobias C. Berner | 2018-12-25 | 1 | -1/+1 |
* | Mark broken on sparc64. | Mark Linimon | 2016-09-18 | 1 | -0/+2 |
* | - Update to 3.1.3 | Vsevolod Stakhov | 2015-08-17 | 1 | -1/+1 |
* | MASTER_SITES cleanup. | Mathieu Arnold | 2015-05-14 | 1 | -2/+1 |
* | - Update to 3.1.0 | Vsevolod Stakhov | 2014-08-19 | 1 | -1/+1 |
* | - Update to 2.1.4 | Vsevolod Stakhov | 2014-01-10 | 1 | -2/+1 |
* | - Unbreak with clang and new C++ world. | Vsevolod Stakhov | 2013-11-01 | 1 | -2/+2 |
* | Add NO_STAGE all over the place in preparation for the staging support (cat: ... | Baptiste Daroussin | 2013-09-20 | 1 | -0/+1 |
* | Add clasp - an answer set solver for (extended) normal logic programs. | Vsevolod Stakhov | 2013-09-19 | 1 | -0/+21 |