mirror of
https://github.com/ilyakooo0/nixpkgs.git
synced 2024-09-30 17:49:58 +03:00
alt-ergo: use OCaml 4.05
This commit is contained in:
parent
c81d4f800e
commit
18b3b67689
@ -20839,7 +20839,9 @@ with pkgs;
|
||||
ocamlPackages = ocaml-ng.ocamlPackages_4_05;
|
||||
};
|
||||
|
||||
alt-ergo = callPackage ../applications/science/logic/alt-ergo { };
|
||||
alt-ergo = callPackage ../applications/science/logic/alt-ergo {
|
||||
ocamlPackages = ocaml-ng.ocamlPackages_4_05;
|
||||
};
|
||||
|
||||
aspino = callPackage ../applications/science/logic/aspino {};
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user