Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-02-19 | clingo: 5.7.0 -> 5.7.1 | R. Ryantm | 1 | -2/+2 |
2024-02-16 | clingo: 5.6.2 -> 5.7.0 | R. Ryantm | 1 | -2/+2 |
2022-11-07 | clingo: 5.6.1 -> 5.6.2 | R. Ryantm | 1 | -2/+2 |
2022-09-17 | clingo: 5.6.0 -> 5.6.1 | R. Ryantm | 1 | -2/+2 |
2022-09-12 | clingo: 5.5.2 -> 5.6.0 | R. Ryantm | 1 | -2/+2 |
2022-05-25 | clingo: 5.5.1 -> 5.5.2 | R. Ryantm | 1 | -2/+2 |
2021-12-23 | potassco: switch to fetchFromGitHub | Felix Buehler | 1 | -3/+5 |
2021-12-06 | clingo: 5.5.0 -> 5.5.1 | R. Ryantm | 1 | -2/+2 |
2021-07-18 | treewide: remove meta.version | Felix Buehler | 1 | -1/+0 |
2021-04-22 | clingo: 5.4.1 -> 5.5.0 | R. RyanTM | 1 | -2/+2 |
2021-01-16 | treewide: stdenv.lib -> lib | Ben Siraphob | 1 | -4/+4 |
2020-12-07 | clingo: 5.4.0 -> 5.4.1 | R. RyanTM | 1 | -2/+2 |
2019-09-27 | Merge pull request #69477 from r-ryantm/auto-update/clingo | Michael Raskin | 1 | -2/+2 |
2019-09-26 | treewide: remove empty buildInputs | Jörg Thalheim | 1 | -2/+1 |
2019-09-26 | clingo: 5.3.0 -> 5.4.0 | R. RyanTM | 1 | -2/+2 |
2019-08-15 | treewide: name -> pname (easy cases) (#66585) | volth | 1 | -1/+0 |
2018-07-04 | clingo: 5.2.2 -> 5.3.0 | R. RyanTM | 1 | -2/+2 |
2018-03-12 | clingo: fix build on non-sandboxed darwin | Vincent Laporte | 1 | -0/+2 |
2018-03-12 | clingo: fix URL | Vincent Laporte | 1 | -5/+6 |
2017-11-10 | clingo: init at 5.2.2 | Michael Raskin | 1 | -0/+24 |