jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
7389bdf566
nixpkgs/pkgs/tools/misc/gringo
History
volth c814d72b51 treewide: name -> pname
2019-08-17 10:54:38 +00:00
..
default.nix treewide: name -> pname 2019-08-17 10:54:38 +00:00
gringo-4.5.4-cmath.patch Revert opam solver dependency changes 2016-11-12 08:39:52 -05:00
gringo-4.5.4-to_string.patch Revert opam solver dependency changes 2016-11-12 08:39:52 -05:00