diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2024-03-05 00:12:06 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-05 00:12:06 +0000 |
| commit | 1ad8409e69bd168fbcffb57af8102eaaee4adfa3 (patch) | |
| tree | 462cf7048f7d4f10d3c31d2222ac9c1937c6ec07 /pkgs/applications/science | |
| parent | 51a22900610b3ba34ee976e56a5ce31954d1adf1 (diff) | |
| parent | 788f65a3d7fdd14bdecf975fd45a9cfd04e367c8 (diff) | |
| download | nixlib-1ad8409e69bd168fbcffb57af8102eaaee4adfa3.tar nixlib-1ad8409e69bd168fbcffb57af8102eaaee4adfa3.tar.gz nixlib-1ad8409e69bd168fbcffb57af8102eaaee4adfa3.tar.bz2 nixlib-1ad8409e69bd168fbcffb57af8102eaaee4adfa3.tar.lz nixlib-1ad8409e69bd168fbcffb57af8102eaaee4adfa3.tar.xz nixlib-1ad8409e69bd168fbcffb57af8102eaaee4adfa3.tar.zst nixlib-1ad8409e69bd168fbcffb57af8102eaaee4adfa3.zip | |
Merge master into haskell-updates
Diffstat (limited to 'pkgs/applications/science')
| -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 d8e52a77326c..fbc41a67d73b 100644 --- a/pkgs/applications/science/logic/lean4/default.nix +++ b/pkgs/applications/science/logic/lean4/default.nix @@ -10,13 +10,13 @@ stdenv.mkDerivation (finalAttrs: { pname = "lean4"; - version = "4.6.0"; + version = "4.6.1"; src = fetchFromGitHub { owner = "leanprover"; repo = "lean4"; rev = "v${finalAttrs.version}"; - hash = "sha256-Anf6uaTFG/c94N7b7HgT5riyOL5xbHeeoYTrrOl2vDA="; + hash = "sha256-wUqGADwSocg2ciycCxg9qp+vJLJ2otA/5JpTrkFrDoQ="; }; postPatch = '' |