diff options
author | Moritz Kiefer <moritz.kiefer@purelyfunctional.org> | 2017-11-15 08:51:44 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2017-11-15 10:15:12 +0100 |
commit | c0f08557b96b06790022795690d15c1ffd210e71 (patch) | |
tree | 1f9be202b0cdd9860804092cf389c8a06b5a5c8e | |
parent | b06c5a678d0a890568e3dc56a1602d8493c0f969 (diff) | |
download | nixpkgs-c0f08557b96b06790022795690d15c1ffd210e71.tar nixpkgs-c0f08557b96b06790022795690d15c1ffd210e71.tar.gz nixpkgs-c0f08557b96b06790022795690d15c1ffd210e71.tar.bz2 nixpkgs-c0f08557b96b06790022795690d15c1ffd210e71.tar.lz nixpkgs-c0f08557b96b06790022795690d15c1ffd210e71.tar.xz nixpkgs-c0f08557b96b06790022795690d15c1ffd210e71.tar.zst nixpkgs-c0f08557b96b06790022795690d15c1ffd210e71.zip |
why3: 0.87.3 -> 0.88.1
-rw-r--r-- | pkgs/applications/science/logic/why3/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/why3/default.nix b/pkgs/applications/science/logic/why3/default.nix index 6363afb7a66..54c8caa99d8 100644 --- a/pkgs/applications/science/logic/why3/default.nix +++ b/pkgs/applications/science/logic/why3/default.nix @@ -2,11 +2,11 @@ stdenv.mkDerivation rec { name = "why3-${version}"; - version = "0.87.3"; + version = "0.88.1"; src = fetchurl { - url = https://gforge.inria.fr/frs/download.php/file/36398/why3-0.87.3.tar.gz; - sha256 = "1fn9v6w1ilkrm2n4rz31w8qvjnchyvwxiqs67z3f59b5k99wb2ka"; + url = https://gforge.inria.fr/frs/download.php/file/37185/why3-0.88.1.tar.gz; + sha256 = "1qj00963si0vdrqjp79ai27g9rr8sqvly6n6nwpga6bnss98xqkw"; }; buildInputs = (with ocamlPackages; [ |