chore: bump dependencies for bug fix (#695)

david-christiansen · web-flow · commit 635ff306d073 · 2026-01-06T08:19:26.000Z
This update to SubVerso causes module extraction to skip `in` nodes when determining command node kinds. Closes #671.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "160af9e8e7d4ae448f3c92edcc5b6a8522453f11",
+   "rev": "b3dd6c3ebc0a71685e86bea9223be39ea4c299fb",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "eb77622e97e942ba2cfe02f60637705fc2d9481b",
+   "rev": "1e55697c44a646f8a22e2a91878efc4496aa5743",
    "name": "subverso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
diff --git a/test-projects/anchor-examples/lake-manifest.json b/test-projects/anchor-examples/lake-manifest.json
@@ -6,7 +6,7 @@
       "url": "https://github.com/leanprover/subverso",
       "type": "git",
       "subDir": null,
-      "rev": "7ed44c227edb0b96736af7f5337af85961902e85",
+      "rev": "0f1ee407c230744423d15786839cefe09f468181",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",
diff --git a/test-projects/documented-package/lake-manifest.json b/test-projects/documented-package/lake-manifest.json
@@ -7,7 +7,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "7ed44c227edb0b96736af7f5337af85961902e85",
+      "rev": "0f1ee407c230744423d15786839cefe09f468181",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",
diff --git a/test-projects/website-examples/lake-manifest.json b/test-projects/website-examples/lake-manifest.json
@@ -6,7 +6,7 @@
       "url": "https://github.com/leanprover/subverso",
       "type": "git",
       "subDir": null,
-      "rev": "7ed44c227edb0b96736af7f5337af85961902e85",
+      "rev": "0f1ee407c230744423d15786839cefe09f468181",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",
diff --git a/test-projects/website-literate/lake-manifest.json b/test-projects/website-literate/lake-manifest.json
@@ -7,7 +7,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "7ed44c227edb0b96736af7f5337af85961902e85",
+      "rev": "0f1ee407c230744423d15786839cefe09f468181",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",
