update mathlib

dwrensha · Jan 27, 2025 · 7a863fa · 7a863fa
1 parent 48c12bc
commit 7a863fa
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": "bc0287e58c6a04db6dec0ba650680d9e08f4b385",
+   "rev": "994a62cac301d73313dcc990c03eea78ad6f97b9",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -85,7 +85,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "5b23a1297aba9683f231c4b1a7ab4076af4ad53d",
+   "rev": "383137545783429af1317226778fd44869a711e2",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",