diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2021-01-24 10:17:35 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-24 10:17:35 -0500 |
commit | 214d726b92c425cbab7f3c9a1eb9c2f65712ba2b (patch) | |
tree | 8fe6774c36466520f7bbf01327d70c9ec6fde2e0 /pkgs/applications | |
parent | 81e3b9d15bb9d77ac63fd492b8b7c1538cdbba83 (diff) | |
parent | 0119128f9ee25011d3174b6f997c6b68319ddc88 (diff) | |
download | nixlib-214d726b92c425cbab7f3c9a1eb9c2f65712ba2b.tar nixlib-214d726b92c425cbab7f3c9a1eb9c2f65712ba2b.tar.gz nixlib-214d726b92c425cbab7f3c9a1eb9c2f65712ba2b.tar.bz2 nixlib-214d726b92c425cbab7f3c9a1eb9c2f65712ba2b.tar.lz nixlib-214d726b92c425cbab7f3c9a1eb9c2f65712ba2b.tar.xz nixlib-214d726b92c425cbab7f3c9a1eb9c2f65712ba2b.tar.zst nixlib-214d726b92c425cbab7f3c9a1eb9c2f65712ba2b.zip |
Merge pull request #110487 from r-ryantm/auto-update/lean
lean: 3.24.0 -> 3.25.0
Diffstat (limited to 'pkgs/applications')
-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 53423549a726..1f3f7afa9d1b 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.24.0"; + version = "3.25.0"; src = fetchFromGitHub { owner = "leanprover-community"; repo = "lean"; rev = "v${version}"; - sha256 = "npzBuZ37KrUYwC0TglryVTqui/3/t1ma1Zjpnty0d7c="; + sha256 = "sha256-/TlVoqgTGhRfC8d70kXc+VsEkURUksKNGRjYcww+F8g="; }; nativeBuildInputs = [ cmake ]; |