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
gringo-4.5.4-to_string.patch