diff options
Diffstat (limited to 'pkgs/applications/science')
-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"; |