Merge pull request #988 from lean-ja/auto-update/patch-l1dxi7q

lean-ja · Oct 14, 2024 · 0aacec3 · 0aacec3
2 parents 0912081 + a6a633a
commit 0aacec3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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",