pyrox.dev
lol
lean: 3.1.0 -> 3.2.0
+2
-2
+2
-2
pkgs/applications/science/logic/lean/default.nix
+2
-2
pkgs/applications/science/logic/lean/default.nix
···
2
2
3
3
stdenv.mkDerivation rec {
4
4
name = "lean-${version}";
5
-
version = "3.1.0";
5
+
version = "3.2.0";
6
6
7
7
src = fetchFromGitHub {
8
8
owner = "leanprover";
9
9
repo = "lean";
10
10
rev = "v${version}";
11
-
sha256 = "0w4cdai6mzx4wr7gscv4sl5q4mxx1agjbpp4smvrslav7gpbz025";
11
+
sha256 = "13sb9rwgc9ni2j5zx77imjhkzhix9d7klsdb8cg68c17b20sy1g3";
12
12
};
13
13
14
14
buildInputs = [ gmp cmake ];