From 86b74fb76b41b34279118c0909504d81a094d967 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Sat, 21 Jan 2017 13:43:04 +0000 Subject: alt-ergo: 0.99.1 -> 1.30 --- pkgs/applications/science/logic/alt-ergo/default.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'pkgs/applications/science') 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"; -- cgit 1.4.1