diff --git a/lake-manifest.json b/lake-manifest.json
index 5c5b970..7d81fb8 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "0dc51ac7947ff6aa2c16bcffb64c46c7149d1276",
+   "rev": "44e2d2e643fd2618b01f9a0592d7dcbd3ffa22de",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -85,7 +85,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "83ce5b0136c9d9b856df5fc8fb4baa1c0527372f",
+   "rev": "7f28d7f73f74b31f72449bb9eb240db3ca68fe38",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",