diff options
| author | R. RyanTM <ryantm-bot@ryantm.com> | 2020-10-18 17:00:15 +0000 |
|---|---|---|
| committer | R. RyanTM <ryantm-bot@ryantm.com> | 2020-10-18 17:00:15 +0000 |
| commit | 855b84d8b013a88804093cb8782c748441b999a6 (patch) | |
| tree | 72ce74615e0c574b410c67e93d9053ee1e6a201a /pkgs/applications/science/logic | |
| parent | 9e1943edc03c14854295d47001c2b46d7d2472de (diff) | |
lean: 3.19.0 -> 3.21.0
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/lean/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix index 32a75cabc13f..eae2e384df40 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.19.0"; + version = "3.21.0"; src = fetchFromGitHub { owner = "leanprover-community"; repo = "lean"; rev = "v${version}"; - sha256 = "1dybq6104vc62x620izgblfd8dqc4ynaiw8ml07km78lq38anm6v"; + sha256 = "1c7f2x6hdamjkr50761gcb5mg8hhlc75k1mf18vn1k9zsy1gxlgz"; }; nativeBuildInputs = [ cmake ]; |