pyrox.dev
Merge pull request #81692 from r-ryantm/auto-update/lean
lean: 3.6.0 -> 3.6.1
authored by Gabriel Ebner and committed by GitHub 0d470dc5 b538012f
+3
-3
pkgs/applications/science/logic/lean/default.nix
+3
-3
pkgs/applications/science/logic/lean/default.nix
···
2
3
stdenv.mkDerivation rec {
4
pname = "lean";
5
-
version = "3.6.0";
6
7
src = fetchFromGitHub {
8
owner = "leanprover-community";
9
repo = "lean";
10
rev = "v${version}";
11
-
sha256 = "1filkhyqcjglbavbkjra0nk3y7hw8993wyl7r87ikydb2bjishsc";
12
};
13
14
nativeBuildInputs = [ cmake ];
···
21
22
meta = with stdenv.lib; {
23
description = "Automatic and interactive theorem prover";
24
-
homepage = https://leanprover.github.io/;
25
license = licenses.asl20;
26
platforms = platforms.unix;
27
maintainers = with maintainers; [ thoughtpolice gebner ];
···
2
3
stdenv.mkDerivation rec {
4
pname = "lean";
5
+
version = "3.6.1";
6
7
src = fetchFromGitHub {
8
owner = "leanprover-community";
9
repo = "lean";
10
rev = "v${version}";
11
+
sha256 = "0crcpzbz75mdyi1vi4mygw3mj4lx73vff58fkic1gfxlpwrwgi20";
12
};
13
14
nativeBuildInputs = [ cmake ];
···
21
22
meta = with stdenv.lib; {
23
description = "Automatic and interactive theorem prover";
24
+
homepage = "https://leanprover.github.io/";
25
license = licenses.asl20;
26
platforms = platforms.unix;
27
maintainers = with maintainers; [ thoughtpolice gebner ];