chore: get latest Verso version (#134)

leanprover · Oct 30, 2024 · b6b502e · b6b502e
1 parent a9088b1
commit b6b502e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "163988a736b7c938b6cfe2085f45900cee2bccf8",
+   "rev": "9111b5821b36b02e802701b978af3161c3affacb",
    "name": "verso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",