gringo: Switch to the default SCons version

Version 3.0.2 works fine and 2.5.1 is therefore no longer required.
This commit is contained in:
Michael Weiss 2019-01-07 15:18:56 +01:00
parent e1d9854816
commit 38d9d76d61
No known key found for this signature in database
GPG key ID: 5BE487C4D4771D83

View file

@ -1482,7 +1482,7 @@ in
pythonPackages = python3Packages;
};
gringo = callPackage ../tools/misc/gringo { scons = scons_2_5_1; };
gringo = callPackage ../tools/misc/gringo { };
grobi = callPackage ../tools/X11/grobi { };