diff --git a/lake-manifest.json b/lake-manifest.json
index 83be9e0..5e2abd9 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "aa6a085095c72761491d45b01124d56744f9313a",
+   "rev": "e998043adeebf96ab1c66d4f47eaea68c824f9cb",
    "name": "«mk-exercise»",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -95,7 +95,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "d0d73c6b44bcfc3ae0e6e6fd4a50c1c3773d4cf5",
+   "rev": "d990505b65cea8a25936e0e803ce41f66bd24922",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",