diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2023-10-31 06:52:03 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-31 06:52:03 -0500 |
commit | a86d2f8be3befacc90c167ce802a1fb3501b8d14 (patch) | |
tree | d3699f8b53f99e315ee86cc9832cceed93d9da4b /pkgs/applications | |
parent | 915a4a16e93e782de2191b3ca78a9878d40ed203 (diff) | |
parent | 39042adae35cff4594c884ce225250dcfe590d34 (diff) | |
download | nixpkgs-a86d2f8be3befacc90c167ce802a1fb3501b8d14.tar nixpkgs-a86d2f8be3befacc90c167ce802a1fb3501b8d14.tar.gz nixpkgs-a86d2f8be3befacc90c167ce802a1fb3501b8d14.tar.bz2 nixpkgs-a86d2f8be3befacc90c167ce802a1fb3501b8d14.tar.lz nixpkgs-a86d2f8be3befacc90c167ce802a1fb3501b8d14.tar.xz nixpkgs-a86d2f8be3befacc90c167ce802a1fb3501b8d14.tar.zst nixpkgs-a86d2f8be3befacc90c167ce802a1fb3501b8d14.zip |
Merge pull request #264514 from marsam/update-lean4
lean4: 4.1.0 -> 4.2.0
Diffstat (limited to 'pkgs/applications')
-rw-r--r-- | pkgs/applications/science/logic/lean4/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/lean4/default.nix b/pkgs/applications/science/logic/lean4/default.nix index 12465ad9087..ecc929cb5f0 100644 --- a/pkgs/applications/science/logic/lean4/default.nix +++ b/pkgs/applications/science/logic/lean4/default.nix @@ -9,13 +9,13 @@ stdenv.mkDerivation rec { pname = "lean4"; - version = "4.1.0"; + version = "4.2.0"; src = fetchFromGitHub { owner = "leanprover"; repo = "lean4"; rev = "v${version}"; - hash = "sha256-6qbCafG0bL5KxQt2gL6hV4PFDsEMM0UXfldeOOqxsaE="; + hash = "sha256-56YtHCiNMP5fJoddSokEl0ws06IwetYLer4aLCnujZA="; }; postPatch = '' |