diff --git a/lake-manifest.json b/lake-manifest.json
index a37e71f..bb20d7a 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "869d78784cf1b82c87f023122449566961947d2e",
+   "rev": "05954ce1797e6bd6b414c916499fe6dda4a11702",
    "name": "UnicodeBasic",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "bf597c77bf9b8e66720d724928207f5911533113",
+   "rev": "5169c93a9be986ac9d937fed59c89302cf7cd62a",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
diff --git a/lean-toolchain b/lean-toolchain
index 2210cba..6c7e31f 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.30.0-rc1
+leanprover/lean4:v4.30.0-rc2