summary refs log tree commit diff
path: root/pkgs/applications/science/logic/potassco/clingcon.nix
Commit message (Expand)AuthorAge
* clingcon: 5.0.0 -> 5.2.0 and fix buildamesgen2022-11-07
* clingcon: fix buildAzat Bahawi2022-05-28
* clingcon: fix build w/glibc-2.34Maximilian Bosch2022-02-27
* clingcon: 3.3.0 -> 5.0.0mucaho2021-12-16
* treewide: remove meta.versionFelix Buehler2021-07-18
* treewide: stdenv.lib -> libBen Siraphob2021-01-16
* treewide: simplify rev/repo arguments in srcPavol Rusnak2020-11-01
* clingcon: init at 3.3.0mucaho2020-03-08