chore: update Mathlib dependencies 2024-10-16 (#17816)

This PR updates the Mathlib dependencies.
leanprover-community · Oct 16, 2024 · ebec1b6 · ebec1b6
1 parent 298e0e0
commit ebec1b6
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": "b731e84cb99d738b8d9710a0ba02bf8ec8d7fd26",
+   "rev": "422d1a5f608fccafeddab9748e8038ef346b59bf",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "4b61d4abc1659f15ffda5ec24fdebc229d51d066",
+   "rev": "7bedaed1ef024add1e171cc17706b012a9a37802",
    "name": "LeanSearchClient",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",