diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-11-03 12:16:53 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-11-03 19:44:20 +0000 |
commit | 0eb284b351a5ab4c8fa347453baf9409c0e819ca (patch) | |
tree | 378fac07fb6f912036cb8aaaa2b815b3ee23124b /pkgs | |
parent | ee23541f8981ddd85109130cf471f163f1f766b1 (diff) |
alt-ergo: remove constraint on OCaml version
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 136a47231335e..b0212bd2c953e 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -18561,9 +18561,7 @@ with pkgs; acgtk = callPackage ../applications/science/logic/acgtk { }; - alt-ergo = callPackage ../applications/science/logic/alt-ergo { - ocamlPackages = ocamlPackages_4_02; - }; + alt-ergo = callPackage ../applications/science/logic/alt-ergo { }; aspino = callPackage ../applications/science/logic/aspino {}; |