Update lake-manifest.json

pitmonticone · Sep 7, 2024 · 75d1a12 · 75d1a12
1 parent 1ebec07
commit 75d1a12
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": "8ab24d4bb8b4c4a52af3f39027f255b1901669c9",
+   "rev": "fb7841a6f4fb389ec0e47dd4677844d49906af3c",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "14a255bffdf7fc59386b5656049f19903c191686",
+   "rev": "2969d0119259fdf37a81cca002481be932cc8953",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,