about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/potassco
AgeCommit message (Expand)AuthorFilesLines
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2024-03-06Merge pull request #289177 from r-ryantm/auto-update/clingconWeijia Wang1-2/+2
2024-02-19clingo: 5.7.0 -> 5.7.1R. Ryantm1-2/+2
2024-02-16clingo: 5.6.2 -> 5.7.0R. Ryantm1-2/+2
2024-02-16clingcon: 5.2.0 -> 5.2.1R. Ryantm1-2/+2
2022-11-07clingo: 5.6.1 -> 5.6.2R. Ryantm1-2/+2
2022-11-07clingcon: 5.0.0 -> 5.2.0 and fix buildamesgen2-30/+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-28Merge pull request #175039 from azahi/clingcon-fixRobert Scott2-0/+28
2022-05-28clingcon: fix buildAzat Bahawi2-0/+28
2022-05-25clingo: 5.5.1 -> 5.5.2R. Ryantm1-2/+2
2022-02-27clingcon: fix build w/glibc-2.34Maximilian Bosch1-0/+5
2022-01-26treewide: remove *.upstream files from updateWalkerFelix Buehler1-6/+0
2021-12-23potassco: switch to fetchFromGitHubFelix Buehler1-3/+5
2021-12-16clingcon: 3.3.0 -> 5.0.0mucaho1-15/+9
2021-12-06clingo: 5.5.0 -> 5.5.1R. Ryantm1-2/+2
2021-07-18treewide: remove meta.versionFelix Buehler2-2/+0
2021-04-22clingo: 5.4.1 -> 5.5.0R. RyanTM1-2/+2
2021-01-16treewide: stdenv.lib -> libBen Siraphob2-7/+7
2020-12-07clingo: 5.4.0 -> 5.4.1R. RyanTM1-2/+2
2020-11-01treewide: simplify rev/repo arguments in srcPavol Rusnak1-1/+1
2020-03-08clingcon: init at 3.3.0mucaho1-0/+43
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 Raskin2-0/+30
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-25 19:51:51 +0000