Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Revert r559792 to unbreak INDEX and bulk -a | Antoine Brodin | 2021-01-01 | 1 | -0/+3 |
* | Remove most expired ports that depend on Python 2.7: | Rene Ladan | 2021-01-01 | 1 | -3/+0 |
* | math/gringo: Update 4.5.2 -> 4.5.4 | Yuri Victorovich | 2018-07-27 | 1 | -2/+3 |
* | - Update to 4.5.2 | Vsevolod Stakhov | 2015-08-17 | 1 | -2/+2 |
* | - Update to 4.4.0 | Vsevolod Stakhov | 2014-08-19 | 1 | -2/+2 |
* | Add gringo - an advanced grounder to compute variable-free programs. | Vsevolod Stakhov | 2014-01-10 | 1 | -0/+2 |