diff --git a/lake-manifest.json b/lake-manifest.json
index 697fead..3b8da9b 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -15,10 +15,10 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "85e3a25e006c35636f0e53b0e9296caca2685bc0",
+   "rev": "01c8d16a8c31eed40a54a38a8c8006c4ee001152",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.34.0-rc2",
+   "inputRev": "01c8d16a8c31eed40a54a38a8c8006c4ee001152",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover/verso",
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "d8823026ac7ef130c253089d95685f9877b95323",
+   "rev": "1681d78dd6e65e38b143f9740d829c826673807c",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -95,7 +95,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "d54dddc581e08be364c278052863524bff7a99a9",
+   "rev": "4cac2177c37f5530c4da76aa8e4307f3fc9e4dcb",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
diff --git a/lakefile.toml b/lakefile.toml
index 863b4e6..6a4f0d8 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -19,7 +19,7 @@ rev = "v4.34.0-rc2"
 [[require]]
 name = "mathlib"
 scope = "leanprover-community"
-rev = "v4.34.0-rc2"
+rev = "01c8d16a8c31eed40a54a38a8c8006c4ee001152"
 
 [[require]]
 name = "axiom-audit"