pyrox.dev
E prover: 1.8 -> 1.9
+4
-4
pkgs/applications/science/logic/eprover/default.nix
+4
-4
pkgs/applications/science/logic/eprover/default.nix
···
3
3
s = # Generated upstream information
4
4
rec {
5
5
baseName="eprover";
6
-
version="1.8";
6
+
version="1.9";
7
7
name="${baseName}-${version}";
8
-
hash="0bl4dr7k6simwdvdyxhnjkiz4nm5y0nr8bfhc34zk0360i9m6sk3";
9
-
url="http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_1.8/E.tgz";
10
-
sha256="0bl4dr7k6simwdvdyxhnjkiz4nm5y0nr8bfhc34zk0360i9m6sk3";
8
+
hash="0vipapqjg0339lpc98vpvz58m6xkqrhgxylmp0hrnld4lrhmcdn4";
9
+
url="http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_1.9/E.tgz";
10
+
sha256="0vipapqjg0339lpc98vpvz58m6xkqrhgxylmp0hrnld4lrhmcdn4";
11
11
};
12
12
in
13
13
stdenv.mkDerivation {