Merge pull request #43 from mseri/auto-update/patch-qglcq5l

Updates available and ready to merge.
mseri · May 30, 2024 · 5c2a57a · 5c2a57a
2 parents 0a60b23 + c609ed6
commit 5c2a57a
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,