summary refs log tree commit diff
path: root/pkgs/applications/science/logic/potassco
Commit message (Expand)AuthorAge
* 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