diff options
author | Mauricio Collares <mauricio@collares.org> | 2022-12-26 19:05:40 -0300 |
---|---|---|
committer | Mauricio Collares <mauricio@collares.org> | 2022-12-26 19:05:40 -0300 |
commit | a8fa345c5eb182b68c50102528fb16daf475f880 (patch) | |
tree | 01ebceb03dfb25bd6729e874f6d5a5e744b70084 /pkgs/applications/science | |
parent | 72ea4253a114117d44df0cc05f4df853cf7030f8 (diff) | |
download | nixpkgs-a8fa345c5eb182b68c50102528fb16daf475f880.tar nixpkgs-a8fa345c5eb182b68c50102528fb16daf475f880.tar.gz nixpkgs-a8fa345c5eb182b68c50102528fb16daf475f880.tar.bz2 nixpkgs-a8fa345c5eb182b68c50102528fb16daf475f880.tar.lz nixpkgs-a8fa345c5eb182b68c50102528fb16daf475f880.tar.xz nixpkgs-a8fa345c5eb182b68c50102528fb16daf475f880.tar.zst nixpkgs-a8fa345c5eb182b68c50102528fb16daf475f880.zip |
lean: 3.50.2 -> 3.50.3
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/lean/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix index 36978cbdb79..d3d87be3874 100644 --- a/pkgs/applications/science/logic/lean/default.nix +++ b/pkgs/applications/science/logic/lean/default.nix @@ -2,7 +2,7 @@ stdenv.mkDerivation rec { pname = "lean"; - version = "3.50.2"; + version = "3.50.3"; src = fetchFromGitHub { owner = "leanprover-community"; @@ -11,8 +11,8 @@ stdenv.mkDerivation rec { # from. this is then used to check whether an olean file should be # rebuilt. don't use a tag as rev because this will get replaced into # src/githash.h.in in preConfigure. - rev = "a4f95b7ef008115baca425f5f0b5c7d0283a80ad"; - sha256 = "sha256-LFCSFmUsiFMrhaETT8+Q3Btba4yc9KR5yQluNzOQOW0="; + rev = "855e5b74e3a52a40552e8f067169d747d48743fd"; + sha256 = "sha256-RH4w7PpzC+fhqCHikXQO2pUUvWD2qrA0mVMUGxpauwE="; }; nativeBuildInputs = [ cmake ]; |