diff --git a/lake-manifest.json b/lake-manifest.json
index 8bc2ec46..2c2bc78d 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "7391b9f9b06eca6fcc36d211db143ba7f84dbe29",
+   "rev": "c0efc1fd2a0bec51bd55c5b17348af13d7419239",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "deb5bd446a108da8aa8c1a1b62dd50722b961b73",
+   "rev": "cf30d04b6448dbb5a5b30a7d031e3949e74b9dd1",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "a90eae702ddbc04a9de156372534eb2bc844cb73",
+   "rev": "e242f1edcacf917f40fae9b81f57f4bd0a4e45ac",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
diff --git a/lean-toolchain b/lean-toolchain
index d69d1ed2..6a4259fa 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.10.0-rc1
+leanprover/lean4:v4.10.0-rc2