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 | |
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')
-rw-r--r-- | pkgs/applications/science/logic/alt-ergo/default.nix | 6 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 4 |
2 files changed, 6 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/alt-ergo/default.nix b/pkgs/applications/science/logic/alt-ergo/default.nix index 45e6674439e7..7cf0aeb203de 100644 --- a/pkgs/applications/science/logic/alt-ergo/default.nix +++ b/pkgs/applications/science/logic/alt-ergo/default.nix @@ -2,16 +2,16 @@ stdenv.mkDerivation rec { name = "alt-ergo-${version}"; - version = "0.99.1"; + version = "1.30"; src = fetchurl { url = "http://alt-ergo.ocamlpro.com/download_manager.php?target=${name}.tar.gz"; name = "${name}.tar.gz"; - sha256 = "0lnlf56ysisa45dxvbwzhl4fgyxyfz35psals2kv9x8gyq54zwpm"; + sha256 = "025pacb4ax864fn5x8k78mw6hiig4jcazblj18gzxspg4f1l5n1g"; }; buildInputs = with ocamlPackages; - [ ocaml findlib ocamlgraph zarith lablgtk ]; + [ ocaml findlib camlzip ocamlgraph zarith lablgtk ocplib-simplex ]; meta = { description = "High-performance theorem prover and SMT solver"; 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 {}; |