Merge branch 'patch-1'

lean-ja · Oct 22, 2023 · b1b65eb · b1b65eb
2 parents f64c3e8 + 79cd731
commit b1b65eb
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -4,15 +4,15 @@
  [{"git":
    {"url": "https://github.com/leanprover-community/mathlib4.git",
     "subDir?": null,
-    "rev": "ae7ec61a7b0e120ac9bdbeda6f0047c8059f754f",
+    "rev": "3ce43c18f614b76e161f911b75a3e1ef641620ff",
     "opts": {},
     "name": "mathlib",
-    "inputRev?": "ae7ec61a7b0e120ac9bdbeda6f0047c8059f754f",
+    "inputRev?": "3ce43c18f614b76e161f911b75a3e1ef641620ff",
     "inherited": false}},
   {"git":
    {"url": "https://github.com/leanprover/std4",
     "subDir?": null,
-    "rev": "dd2549f76ff763c897fe997061e2625a7d628eaf",
+    "rev": "727fa6aa1113c376ea1873812d1ab5c17a24f1d2",
     "opts": {},
     "name": "std",
     "inputRev?": "main",

diff --git a/lakefile.lean b/lakefile.lean
@@ -8,7 +8,7 @@ package examples {
 }
 
 require mathlib from git
-  "https://github.com/leanprover-community/mathlib4.git" @ "ae7ec61a7b0e120ac9bdbeda6f0047c8059f754f"
+  "https://github.com/leanprover-community/mathlib4.git" @ "3ce43c18f614b76e161f911b75a3e1ef641620ff"
 
 @[default_target]
 lean_lib Examples {

diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.2.0-rc3
+leanprover/lean4:v4.2.0-rc4