diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/lean/default.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/lean/default.nix | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/lean/default.nix b/nixpkgs/pkgs/applications/science/logic/lean/default.nix index 9bf54a5f094..ac65a72c94b 100644 --- a/nixpkgs/pkgs/applications/science/logic/lean/default.nix +++ b/nixpkgs/pkgs/applications/science/logic/lean/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { pname = "lean"; - version = "3.4.2"; + version = "3.7.0"; src = fetchFromGitHub { - owner = "leanprover"; + owner = "leanprover-community"; repo = "lean"; rev = "v${version}"; - sha256 = "0zpnfg6kyg120rrdr336i1lymmzz4xgcqpn96iavhzhlaanmx55l"; + sha256 = "1khy41zv4bjbpy3949j7y7d4qal53w4679iqlhm2l8jxd7y46nvi"; }; nativeBuildInputs = [ cmake ]; @@ -21,9 +21,11 @@ stdenv.mkDerivation rec { meta = with stdenv.lib; { description = "Automatic and interactive theorem prover"; - homepage = https://leanprover.github.io/; + homepage = "https://leanprover.github.io/"; + changelog = "https://github.com/leanprover-community/lean/blob/v${version}/doc/changes.md"; license = licenses.asl20; platforms = platforms.unix; maintainers = with maintainers; [ thoughtpolice gebner ]; }; } + |