Michael Weiss 595a36d846 scons.py2: Replace with sconsPackages.scons_3_1_2 ... Required since SCons 4.0.0 doesn't support Python 2.7 anymore.		2020-07-18 10:48:20 +02:00
..
default.nix	scons.py2: Replace with sconsPackages.scons_3_1_2	2020-07-18 10:48:20 +02: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