chore: update Mathlib dependencies 2024-10-04 (#17397)

This PR updates the Mathlib dependencies.
leanprover-community · Oct 4, 2024 · 96f08e7 · 96f08e7
1 parent 3ad544d
commit 96f08e7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "63c1c38b123b0741b7b7fd56fb8510f95bfd0e55",
+   "rev": "13f9b00769bdac2c0041406a6c2524a361e8d660",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "6b6ad220389444229d6b29c386b039e18345a003",
+   "rev": "63a7d4a353f48f6c5f1bc19d0f018b0513cb370a",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",