diff options
author | Ricardo M. Correia <rcorreia@wizy.org> | 2018-07-18 02:57:55 +0200 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-07-21 22:53:44 +0000 |
commit | 0cf09556ebdfe5f393ee1f2033aacd9169853894 (patch) | |
tree | c9be11110ea95500195142ea28046f6499d5a546 /pkgs/applications/science | |
parent | 710d4e76dd63b59707b7747cf8e9e970ae8bad8e (diff) | |
download | nixlib-0cf09556ebdfe5f393ee1f2033aacd9169853894.tar nixlib-0cf09556ebdfe5f393ee1f2033aacd9169853894.tar.gz nixlib-0cf09556ebdfe5f393ee1f2033aacd9169853894.tar.bz2 nixlib-0cf09556ebdfe5f393ee1f2033aacd9169853894.tar.lz nixlib-0cf09556ebdfe5f393ee1f2033aacd9169853894.tar.xz nixlib-0cf09556ebdfe5f393ee1f2033aacd9169853894.tar.zst nixlib-0cf09556ebdfe5f393ee1f2033aacd9169853894.zip |
why3: 0.88.3 -> 1.0.0
Diffstat (limited to 'pkgs/applications/science')
-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 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 ]; |