diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-05-22 08:42:20 +0200 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-06-01 05:57:19 +0200 |
commit | 28bfbb55626085717f258f2abcffba51f921a1ac (patch) | |
tree | 11bc326f4715e56e446078727101f0aa4f7d3912 | |
parent | 13cc88f273f0cb6d13e39ecf61775c29dde6d21c (diff) | |
download | nixlib-28bfbb55626085717f258f2abcffba51f921a1ac.tar nixlib-28bfbb55626085717f258f2abcffba51f921a1ac.tar.gz nixlib-28bfbb55626085717f258f2abcffba51f921a1ac.tar.bz2 nixlib-28bfbb55626085717f258f2abcffba51f921a1ac.tar.lz nixlib-28bfbb55626085717f258f2abcffba51f921a1ac.tar.xz nixlib-28bfbb55626085717f258f2abcffba51f921a1ac.tar.zst nixlib-28bfbb55626085717f258f2abcffba51f921a1ac.zip |
why3: update from 0.85 to 0.86.1
-rw-r--r-- | pkgs/applications/science/logic/why3/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/why3/default.nix b/pkgs/applications/science/logic/why3/default.nix index 228d1a7c4d40..d1fb853ee9e1 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.85"; + version = "0.86.1"; src = fetchurl { - url = "https://gforge.inria.fr/frs/download.php/34074/why3-0.85.tar.gz"; - sha256 = "0sj1pd50lqvnvyss1f8ysgigdi64s91rrpdrmp7crmcy1npa8apf"; + url = https://gforge.inria.fr/frs/download.php/file/34797/why3-0.86.1.tar.gz; + sha256 = "129kzq79n8h480zrlphgh1ixvwp3wm18nbcky9bp4wdnr6zaibd7"; }; buildInputs = with ocamlPackages; - [ coq coq.camlp5 ocaml findlib lablgtk ocamlgraph zarith ]; + [ coq coq.camlp5 ocaml findlib lablgtk ocamlgraph zarith menhir ]; meta = with stdenv.lib; { description = "A platform for deductive program verification"; |