stp: build with bison3

This commit is contained in:
Luka Blaskovic
2020-01-13 21:35:19 +00:00
parent 4a3a8327d2
commit 7e90db8500
+1 -3
View File
@@ -21426,9 +21426,7 @@ in
inherit (ocamlPackages) stog;
stp = callPackage ../applications/science/logic/stp {
bison = bison2;
};
stp = callPackage ../applications/science/logic/stp { };
stretchly = callPackage ../applications/misc/stretchly {
inherit (gnome2) GConf;