[create-pull-request] automated change (#25)

Co-authored-by: pitmonticone <[email protected]>
teorth · Oct 31, 2024 · 347d85e · 347d85e
1 parent c422078
commit 347d85e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "85f6511d93f9e6a8188ec9985c82f08f65c26cae",
+   "rev": "500a529408399c44d7e1649577e3c98697f95aa4",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "0ea83a676d288220ba227808568cbb80fe43ace0",
+   "rev": "c1970bea80ac3357a6a991a6d00d12e7435c12c7",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -75,7 +75,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "9fc60c1ad982f142d6d0671bef8f4cda3b1590cd",
+   "rev": "348232e527e0363cd27a7a49302dad2de3817be6",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,