diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2020-03-13 04:20:00 -0500 |
|---|---|---|
| committer | Alyssa Ross <hi@alyssa.is> | 2020-03-14 01:32:58 +0000 |
| commit | c935567de62647ebde651ff122ae464303fdc2c5 (patch) | |
| tree | a29227a95026bb73516800c183226deb050c57ca /pkgs/applications/science/logic | |
| parent | fb594b816a8c99c6368c7906f90ae94c5867b8de (diff) | |
lean: 3.6.1 -> 3.7.0
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/lean/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix index ae8b0ada8062d..ac65a72c94b97 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.1"; + version = "3.7.0"; src = fetchFromGitHub { owner = "leanprover-community"; repo = "lean"; rev = "v${version}"; - sha256 = "0crcpzbz75mdyi1vi4mygw3mj4lx73vff58fkic1gfxlpwrwgi20"; + sha256 = "1khy41zv4bjbpy3949j7y7d4qal53w4679iqlhm2l8jxd7y46nvi"; }; nativeBuildInputs = [ cmake ]; @@ -22,6 +22,7 @@ stdenv.mkDerivation rec { meta = with stdenv.lib; { description = "Automatic and interactive theorem prover"; 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 ]; |