From 0cf09556ebdfe5f393ee1f2033aacd9169853894 Mon Sep 17 00:00:00 2001 From: "Ricardo M. Correia" Date: Wed, 18 Jul 2018 02:57:55 +0200 Subject: why3: 0.88.3 -> 1.0.0 --- pkgs/applications/science/logic/why3/default.nix | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'pkgs/applications/science/logic') diff --git a/pkgs/applications/science/logic/why3/default.nix b/pkgs/applications/science/logic/why3/default.nix index 202d52f0cc0e..1ccc365498ce 100644 --- a/pkgs/applications/science/logic/why3/default.nix +++ b/pkgs/applications/science/logic/why3/default.nix @@ -2,15 +2,15 @@ stdenv.mkDerivation rec { name = "why3-${version}"; - version = "0.88.3"; + version = "1.0.0"; src = fetchurl { - url = https://gforge.inria.fr/frs/download.php/file/37313/why3-0.88.3.tar.gz; - sha256 = "0limdqy9l5bjzwhdalcfdyh0b6laxgiphhvr4bby9p0030agssiy"; + url = https://gforge.inria.fr/frs/download.php/file/37604/why3-1.0.0.tar.gz; + sha256 = "18h00diw1c051v7ya0lv09ns5630qi9savwffx0652mcc4b4qpxn"; }; buildInputs = (with ocamlPackages; [ - ocaml findlib lablgtk ocamlgraph zarith menhir ]) ++ + ocaml findlib num lablgtk ocamlgraph zarith menhir ]) ++ stdenv.lib.optionals (ocamlPackages.ocaml == coq.ocaml ) [ coq coq.camlp5 ]; -- cgit 1.4.1