colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

why3: 1.3.1 -> 1.3.3

Browse Source
This commit is contained in:
Vincent Laporte 2020-09-22 07:18:30 +02:00
parent fccf069e77
commit 64b68b30e9
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/applications/science/logic/why3/default.nix
View File

@ -3,11 +3,11 @@
stdenv.mkDerivation {
pname = "why3";
version = "1.3.1";
version = "1.3.3";
src = fetchurl {
url = "https://gforge.inria.fr/frs/download.php/file/38291/why3-1.3.1.tar.gz";
sha256 = "16zcrc60zz2j3gd3ww93z2z9x2jkxb3kr57y8i5rcgmacy7mw3bv";
url = "https://gforge.inria.fr/frs/download.php/file/38367/why3-1.3.3.tar.gz";
sha256 = "1n0a2nn1gnk0zg339lh698g4wpk7m8m1vyi2yvifd5adqvk4milw";
};
buildInputs = with ocamlPackages; [