diff options
author | Gabriel Ebner <gebner@gebner.org> | 2020-03-04 10:32:38 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-04 10:32:38 +0100 |
commit | 0d470dc5ead3a0026d59eded0f34f09c103751cc (patch) | |
tree | 5c3c0b8cc338fdbb207beee00a887921bbac32a9 | |
parent | b538012f89f312845c6cd3af079bb879698367c5 (diff) | |
parent | 5b833c08ef127a48cd315dae774d6bbb85ed1bba (diff) | |
download | nixlib-0d470dc5ead3a0026d59eded0f34f09c103751cc.tar nixlib-0d470dc5ead3a0026d59eded0f34f09c103751cc.tar.gz nixlib-0d470dc5ead3a0026d59eded0f34f09c103751cc.tar.bz2 nixlib-0d470dc5ead3a0026d59eded0f34f09c103751cc.tar.lz nixlib-0d470dc5ead3a0026d59eded0f34f09c103751cc.tar.xz nixlib-0d470dc5ead3a0026d59eded0f34f09c103751cc.tar.zst nixlib-0d470dc5ead3a0026d59eded0f34f09c103751cc.zip |
Merge pull request #81692 from r-ryantm/auto-update/lean
lean: 3.6.0 -> 3.6.1
-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 d718dd01ed42..ae8b0ada8062 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 ]; |