about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/potassco/clingo.nix
AgeCommit message (Expand)AuthorFilesLines
2024-02-19clingo: 5.7.0 -> 5.7.1R. Ryantm1-2/+2
2024-02-16clingo: 5.6.2 -> 5.7.0R. Ryantm1-2/+2
2022-11-07clingo: 5.6.1 -> 5.6.2R. Ryantm1-2/+2
2022-09-17clingo: 5.6.0 -> 5.6.1R. Ryantm1-2/+2
2022-09-12clingo: 5.5.2 -> 5.6.0R. Ryantm1-2/+2
2022-05-25clingo: 5.5.1 -> 5.5.2R. Ryantm1-2/+2
2021-12-23potassco: switch to fetchFromGitHubFelix Buehler1-3/+5
2021-12-06clingo: 5.5.0 -> 5.5.1R. Ryantm1-2/+2
2021-07-18treewide: remove meta.versionFelix Buehler1-1/+0
2021-04-22clingo: 5.4.1 -> 5.5.0R. RyanTM1-2/+2
2021-01-16treewide: stdenv.lib -> libBen Siraphob1-4/+4
2020-12-07clingo: 5.4.0 -> 5.4.1R. RyanTM1-2/+2
2019-09-27Merge pull request #69477 from r-ryantm/auto-update/clingoMichael Raskin1-2/+2
2019-09-26treewide: remove empty buildInputsJörg Thalheim1-2/+1
2019-09-26clingo: 5.3.0 -> 5.4.0R. RyanTM1-2/+2
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+0
2018-07-04clingo: 5.2.2 -> 5.3.0R. RyanTM1-2/+2
2018-03-12clingo: fix build on non-sandboxed darwinVincent Laporte1-0/+2
2018-03-12clingo: fix URLVincent Laporte1-5/+6
2017-11-10clingo: init at 5.2.2Michael Raskin1-0/+24