pyrox.dev
why3: 0.88.1 -> 0.88.3
+3
-3
pkgs/applications/science/logic/why3/default.nix
+3
-3
pkgs/applications/science/logic/why3/default.nix
···
2
3
stdenv.mkDerivation rec {
4
name = "why3-${version}";
5
-
version = "0.88.1";
6
7
src = fetchurl {
8
-
url = https://gforge.inria.fr/frs/download.php/file/37185/why3-0.88.1.tar.gz;
9
-
sha256 = "1qj00963si0vdrqjp79ai27g9rr8sqvly6n6nwpga6bnss98xqkw";
10
};
11
12
buildInputs = (with ocamlPackages; [
···
2
3
stdenv.mkDerivation rec {
4
name = "why3-${version}";
5
+
version = "0.88.3";
6
7
src = fetchurl {
8
+
url = https://gforge.inria.fr/frs/download.php/file/37313/why3-0.88.3.tar.gz;
9
+
sha256 = "0limdqy9l5bjzwhdalcfdyh0b6laxgiphhvr4bby9p0030agssiy";
10
};
11
12
buildInputs = (with ocamlPackages; [