diff --git a/lake-manifest.json b/lake-manifest.json
index b4ed7a9..3461a73 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "46c359dcff7e8db7f63efd17f188c3967207335c",
+   "rev": "42d2b4ed2e0a4ff27297332b18ad8690814b2574",
    "name": "UnicodeBasic",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "ac3fb7297326c5429ce2844712fb54ba9dd20198",
+   "rev": "46f6618b9942c1f67ebe3b8051163ddb8d8ff496",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
diff --git a/lean-toolchain b/lean-toolchain
index 87b20aa..b58ff4f 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.29.0-rc6
+leanprover/lean4:v4.29.0-rc8
\ No newline at end of file