diff options
| author | R. RyanTM <ryantm-bot@ryantm.com> | 2020-03-04 06:26:01 +0000 |
|---|---|---|
| committer | R. RyanTM <ryantm-bot@ryantm.com> | 2020-03-04 06:26:01 +0000 |
| commit | 5b833c08ef127a48cd315dae774d6bbb85ed1bba (patch) | |
| tree | 5a1cfefbb2a6447e5baa9e3a6630d5d6911d9f5b /pkgs/applications/science/logic | |
| parent | 79217339d26ff51ccacf10967de700d785f088e5 (diff) | |
| download | nixpkgs-5b833c08ef127a48cd315dae774d6bbb85ed1bba.tar nixpkgs-5b833c08ef127a48cd315dae774d6bbb85ed1bba.tar.gz nixpkgs-5b833c08ef127a48cd315dae774d6bbb85ed1bba.tar.bz2 nixpkgs-5b833c08ef127a48cd315dae774d6bbb85ed1bba.tar.lz nixpkgs-5b833c08ef127a48cd315dae774d6bbb85ed1bba.tar.xz nixpkgs-5b833c08ef127a48cd315dae774d6bbb85ed1bba.tar.zst nixpkgs-5b833c08ef127a48cd315dae774d6bbb85ed1bba.zip | |
lean: 3.6.0 -> 3.6.1
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/lean/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix index d718dd01ed4..ae8b0ada806 100644 --- a/pkgs/applications/science/logic/lean/default.nix +++ b/pkgs/applications/science/logic/lean/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { pname = "lean"; - version = "3.6.0"; + version = "3.6.1"; src = fetchFromGitHub { owner = "leanprover-community"; repo = "lean"; rev = "v${version}"; - sha256 = "1filkhyqcjglbavbkjra0nk3y7hw8993wyl7r87ikydb2bjishsc"; + sha256 = "0crcpzbz75mdyi1vi4mygw3mj4lx73vff58fkic1gfxlpwrwgi20"; }; nativeBuildInputs = [ cmake ]; @@ -21,7 +21,7 @@ stdenv.mkDerivation rec { meta = with stdenv.lib; { description = "Automatic and interactive theorem prover"; - homepage = https://leanprover.github.io/; + homepage = "https://leanprover.github.io/"; license = licenses.asl20; platforms = platforms.unix; maintainers = with maintainers; [ thoughtpolice gebner ]; |