about summary refs log tree commit diff
path: root/pkgs/tools/misc/gringo
Commit message (Expand)AuthorAge
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* scons: Add passthru.py2 for backward compatibilityMichael Weiss2020-03-27
* treewide: remove redundant recvolth2019-08-28
* treewide: name -> pnamevolth2019-08-17
* gringo: use postPatchMatthew Justin Bauer2018-06-25
* gringo: add darwin platform supportWinnie Quinn2017-09-12
* Revert opam solver dependency changesJesse Haber-Kucharsky2016-11-12
* aspcud: fix by updating the dependencies (#20086)Théo Zimmermann2016-11-03
* opam, aspcud: init packages for external solver (#16938)Jesse Haber-Kucharsky2016-09-12