summary refs log tree commit diff
path: root/pkgs/tools/misc/gringo
Commit message (Expand)AuthorAge
* various: cleanup of 'inherit version;'Felix Buehler2021-07-16
* llvmPackages: Multuple outputs for everythtingAndrew Childs2021-04-30
* pkgs/tools: stdenv.lib -> libBen Siraphob2021-01-15
* treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
* scons.py2: Replace with sconsPackages.scons_3_1_2Michael Weiss2020-07-18
* 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