diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2023-10-30 04:20:00 +0000 |
---|---|---|
committer | Mario Rodas <marsam@users.noreply.github.com> | 2023-10-30 04:20:00 +0000 |
commit | 39042adae35cff4594c884ce225250dcfe590d34 (patch) | |
tree | 739ed3290cc888daddf8b255ff02db65cbea6e94 /pkgs/applications/science/logic | |
parent | 04ba740f89b23001077df136c216a885371533ad (diff) | |
download | nixpkgs-39042adae35cff4594c884ce225250dcfe590d34.tar nixpkgs-39042adae35cff4594c884ce225250dcfe590d34.tar.gz nixpkgs-39042adae35cff4594c884ce225250dcfe590d34.tar.bz2 nixpkgs-39042adae35cff4594c884ce225250dcfe590d34.tar.lz nixpkgs-39042adae35cff4594c884ce225250dcfe590d34.tar.xz nixpkgs-39042adae35cff4594c884ce225250dcfe590d34.tar.zst nixpkgs-39042adae35cff4594c884ce225250dcfe590d34.zip |
lean4: 4.1.0 -> 4.2.0
Diff: https://github.com/leanprover/lean4/compare/v4.1.0...v4.2.0 Changelog: https://github.com/leanprover/lean4/blob/v4.2.0/RELEASES.md
Diffstat (limited to 'pkgs/applications/science/logic')
-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 = '' |