summary refs log tree commit diff
path: root/pkgs/applications/science/logic/potassco
Commit message (Expand)AuthorAge
* clingo: 5.6.1 -> 5.6.2R. Ryantm2022-11-07
* clingcon: 5.0.0 -> 5.2.0 and fix buildamesgen2022-11-07
* clingo: 5.6.0 -> 5.6.1R. Ryantm2022-09-17
* clingo: 5.5.2 -> 5.6.0R. Ryantm2022-09-12
* Merge pull request #175039 from azahi/clingcon-fixRobert Scott2022-05-28
|\
| * clingcon: fix buildAzat Bahawi2022-05-28
* | clingo: 5.5.1 -> 5.5.2R. Ryantm2022-05-25
|/
* clingcon: fix build w/glibc-2.34Maximilian Bosch2022-02-27
* treewide: remove *.upstream files from updateWalkerFelix Buehler2022-01-26
* potassco: switch to fetchFromGitHubFelix Buehler2021-12-23
* clingcon: 3.3.0 -> 5.0.0mucaho2021-12-16
* clingo: 5.5.0 -> 5.5.1R. Ryantm2021-12-06
* treewide: remove meta.versionFelix Buehler2021-07-18
* clingo: 5.4.1 -> 5.5.0R. RyanTM2021-04-22
* treewide: stdenv.lib -> libBen Siraphob2021-01-16
* clingo: 5.4.0 -> 5.4.1R. RyanTM2020-12-07
* treewide: simplify rev/repo arguments in srcPavol Rusnak2020-11-01
* clingcon: init at 3.3.0mucaho2020-03-08
* Merge pull request #69477 from r-ryantm/auto-update/clingoMichael Raskin2019-09-27
|\
| * clingo: 5.3.0 -> 5.4.0R. RyanTM2019-09-26
* | treewide: remove empty buildInputsJörg Thalheim2019-09-26
|/
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* clingo: 5.2.2 -> 5.3.0R. RyanTM2018-07-04
* clingo: fix build on non-sandboxed darwinVincent Laporte2018-03-12
* clingo: fix URLVincent Laporte2018-03-12
* clingo: init at 5.2.2Michael Raskin2017-11-10
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-15 06:19:36 +0000