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

Merge pull request #98441 from vbgl/why3-1.3.3

Browse Source 
why3: 1.3.1 -> 1.3.3
This commit is contained in:
Doron Behar 2020-09-23 10:35:57 +03:00 committed by GitHub
commit 0307d0e82b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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; [