chore: bump mathlib

leanprover-community · Jun 29, 2024 · 1bf31e1 · 1bf31e1
1 parent c4939aa
commit 1bf31e1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -22,7 +22,7 @@
   {"url": "https://github.com/leanprover-community/aesop",
    "type": "git",
    "subDir": null,
-   "rev": "30619d94ce4a3d69cdb87bb1771562ca2e687cfa",
+   "rev": "aea83a8a13ae4144e9e5d86f8749238f17814ef3",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -58,7 +58,7 @@
   {"url": "https://github.com/leanprover-community/mathlib4",
    "type": "git",
    "subDir": null,
-   "rev": "dcc73cfb2ce3763f830c52042fb8617e762dbf60",
+   "rev": "0f39e828e15621ab66d48defb0866c4441419c15",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",