diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-05-18 18:01:13 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-18 18:01:13 +0000 |
commit | 925219f62bae53c1c03be0fbf2617ce40b28af0f (patch) | |
tree | a47f734616b113cab0c8f463364375b7a95fe198 /pkgs/applications/science/logic | |
parent | e7f5c53e02989730f7a9433c417d8076316724d7 (diff) | |
parent | 974ba4eaa6e23ba6331ffc6f9a6ec47a23826e27 (diff) | |
download | nixpkgs-925219f62bae53c1c03be0fbf2617ce40b28af0f.tar nixpkgs-925219f62bae53c1c03be0fbf2617ce40b28af0f.tar.gz nixpkgs-925219f62bae53c1c03be0fbf2617ce40b28af0f.tar.bz2 nixpkgs-925219f62bae53c1c03be0fbf2617ce40b28af0f.tar.lz nixpkgs-925219f62bae53c1c03be0fbf2617ce40b28af0f.tar.xz nixpkgs-925219f62bae53c1c03be0fbf2617ce40b28af0f.tar.zst nixpkgs-925219f62bae53c1c03be0fbf2617ce40b28af0f.zip |
Merge master into staging-next
Diffstat (limited to 'pkgs/applications/science/logic')
-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 b5e5ca8723d..cbd09b2a1a8 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.42.0"; + version = "3.43.0"; 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 = "b35d4695da88139a9168f2ad7acf0782e66dc4f0"; - sha256 = "02rpigw6lnyjw8ccrlp2mcvswawkhl5y6kqa3zq76qp1fdjqjrbp"; + rev = "bfce34363b0efe86e93e3fe75de76ab3740c772d"; + sha256 = "100mb003zkgrv1wd2agbk41aipk3j78k8zcjbj7pv9ixh02c7ss8"; }; nativeBuildInputs = [ cmake ]; |