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/applications | |
| 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/applications')
| -rw-r--r-- | pkgs/applications/science/logic/alt-ergo/default.nix | 6 |
1 files changed, 3 insertions, 3 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"; |