chore: bump mathlib

leanprover-community · Jul 8, 2024 · 12f27d9 · 12f27d9
1 parent 9b2b2cf
commit 12f27d9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "d366a602cc4a325a6f9db3a3991dfa6d6cf409c5",
+   "rev": "68b518c9b352fbee16e6d632adcb7a6d0760e2b7",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "476f5f1808912a5922e3e3e756a0e44f55b9f1da",
+   "rev": "8b3a9507ac6f75fd6e6311a64a2904bc14e81387",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",