bump

leanprover-community · Oct 21, 2024 · 0733bc8 · 0733bc8
1 parent 0cd6329
commit 0733bc8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "6b657150b3c7294404ba85f0185391a898432a78",
+   "rev": "0b2215ab3149293ce640c44a02341e25881433ef",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "nightly-testing",