chore: bump Verso to fix index (#154)

Closes #150
leanprover · Nov 18, 2024 · 7405bdf · 7405bdf
1 parent a725f98
commit 7405bdf
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": "314e77088df5c4fa8e072d88e66af3599aca8350",
+   "rev": "6b15732648542ff28017eea75da3dddceea1fe91",
    "name": "verso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",