diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-01-21 13:43:04 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-01-21 13:44:41 +0000 |
commit | 86b74fb76b41b34279118c0909504d81a094d967 (patch) | |
tree | 3d07d9e9a980f4fb272335a5eda619e8047e9b48 /pkgs/top-level | |
parent | 068dad3a218ac06640e4cf9d0c550cc96162070a (diff) | |
download | nixlib-86b74fb76b41b34279118c0909504d81a094d967.tar nixlib-86b74fb76b41b34279118c0909504d81a094d967.tar.gz nixlib-86b74fb76b41b34279118c0909504d81a094d967.tar.bz2 nixlib-86b74fb76b41b34279118c0909504d81a094d967.tar.lz nixlib-86b74fb76b41b34279118c0909504d81a094d967.tar.xz nixlib-86b74fb76b41b34279118c0909504d81a094d967.tar.zst nixlib-86b74fb76b41b34279118c0909504d81a094d967.zip |
alt-ergo: 0.99.1 -> 1.30
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 677def448a6f..ec04e8e85c26 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -16980,7 +16980,9 @@ in abella = callPackage ../applications/science/logic/abella {}; - alt-ergo = callPackage ../applications/science/logic/alt-ergo {}; + alt-ergo = callPackage ../applications/science/logic/alt-ergo { + ocamlPackages = ocamlPackages_4_02; + }; aspino = callPackage ../applications/science/logic/aspino {}; |