leo2: force ocaml-4.01
This commit is contained in:
parent
6d6cf3f24a
commit
eec3973004
@ -17223,7 +17223,8 @@ with pkgs;
|
||||
lean2 = callPackage ../applications/science/logic/lean2 {};
|
||||
lean3 = lean;
|
||||
|
||||
leo2 = callPackage ../applications/science/logic/leo2 {};
|
||||
leo2 = callPackage ../applications/science/logic/leo2 {
|
||||
ocaml = ocamlPackages_4_01_0.ocaml;};
|
||||
|
||||
logisim = callPackage ../applications/science/logic/logisim {};
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user