diff options
| author | adisbladis <adisbladis@gmail.com> | 2018-01-15 01:27:45 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-15 01:27:45 +0800 |
| commit | ff94fbc4167be5b8ffdabf6f81db115077e7f72d (patch) | |
| tree | a79d2828e95734d3d8569f64fac290b2d709829f /pkgs | |
| parent | a41d7b9ea18eba6b6fcd2f75f899442e4e5f4c24 (diff) | |
| parent | aee1cebda7d244de1aa520db409b819391adb7b7 (diff) | |
| download | nixpkgs-ff94fbc4167be5b8ffdabf6f81db115077e7f72d.tar nixpkgs-ff94fbc4167be5b8ffdabf6f81db115077e7f72d.tar.gz nixpkgs-ff94fbc4167be5b8ffdabf6f81db115077e7f72d.tar.bz2 nixpkgs-ff94fbc4167be5b8ffdabf6f81db115077e7f72d.tar.lz nixpkgs-ff94fbc4167be5b8ffdabf6f81db115077e7f72d.tar.xz nixpkgs-ff94fbc4167be5b8ffdabf6f81db115077e7f72d.tar.zst nixpkgs-ff94fbc4167be5b8ffdabf6f81db115077e7f72d.zip | |
Merge pull request #33851 from vbgl/why3-0.88.3
why3: 0.88.1 -> 0.88.3
Diffstat (limited to 'pkgs')
| -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 54c8caa99d8..202d52f0cc0 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.88.1"; + version = "0.88.3"; src = fetchurl { - url = https://gforge.inria.fr/frs/download.php/file/37185/why3-0.88.1.tar.gz; - sha256 = "1qj00963si0vdrqjp79ai27g9rr8sqvly6n6nwpga6bnss98xqkw"; + url = https://gforge.inria.fr/frs/download.php/file/37313/why3-0.88.3.tar.gz; + sha256 = "0limdqy9l5bjzwhdalcfdyh0b6laxgiphhvr4bby9p0030agssiy"; }; buildInputs = (with ocamlPackages; [ |