[create-pull-request] automated change

mseri · May 30, 2024 · c609ed6 · c609ed6
1 parent 0a60b23
commit c609ed6
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -4,7 +4,7 @@
  [{"url": "https://github.com/leanprover-community/batteries",
    "type": "git",
    "subDir": null,
-   "rev": "7b3c48b58fa0ae1c8f27889bdb086ea5e4b27b06",
+   "rev": "60d622c124cebcecc000853cdae93f4251f4beb5",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -22,7 +22,7 @@
   {"url": "https://github.com/leanprover-community/aesop",
    "type": "git",
    "subDir": null,
-   "rev": "e8c8a42642ceb5af33708b79ae8a3148b681c236",
+   "rev": "70ec1d99be1e1b835d831f39c01b0d14921d2118",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -49,7 +49,7 @@
   {"url": "https://github.com/leanprover-community/import-graph.git",
    "type": "git",
    "subDir": null,
-   "rev": "35e38eb320982cfd2fcc864e0e0467ca223c8cdb",
+   "rev": "b167323652ab59a5d1b91e906ca4172d1c0474b7",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -58,7 +58,7 @@
   {"url": "https://github.com/leanprover-community/mathlib4.git",
    "type": "git",
    "subDir": null,
-   "rev": "5bf1683fbb7de26aee023022376acb23c740b3f5",
+   "rev": "5ac1926c5f896fc6ded8e7938c8979a5d25effe7",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,