about summary refs log tree commit diff
path: root/pkgs/tools/misc/gringo
AgeCommit message (Expand)AuthorFilesLines
2021-01-15pkgs/tools: stdenv.lib -> libBen Siraphob1-1/+1
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2020-07-18scons.py2: Replace with sconsPackages.scons_3_1_2Michael Weiss1-2/+2
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2020-03-27scons: Add passthru.py2 for backward compatibilityMichael Weiss1-1/+1
2019-08-28treewide: remove redundant recvolth1-1/+1
2019-08-17treewide: name -> pnamevolth1-1/+2
2018-06-25gringo: use postPatchMatthew Justin Bauer1-1/+1
2017-09-12gringo: add darwin platform supportWinnie Quinn1-2/+20
2016-11-12Revert opam solver dependency changesJesse Haber-Kucharsky3-0/+62
2016-11-03aspcud: fix by updating the dependencies (#20086)Théo Zimmermann2-50/+0
2016-09-12opam, aspcud: init packages for external solver (#16938)Jesse Haber-Kucharsky2-0/+50