chore: bump mathlib

leanprover-community · Jul 6, 2024 · 76c9177 · 76c9177
1 parent 5d39984
commit 76c9177
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "26b4e42e8e9c45c3ded44a4d161161bef430d446",
+   "rev": "deb5bd446a108da8aa8c1a1b62dd50722b961b73",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "ee4303e0103ba28f9106bd96ca5a66054fda6acc",
+   "rev": "b9ad14410e9134567fab26bbbf5ea3dadc336022",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",