bump

Author: riccardobrasca

lake-manifest.json

@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "437bd7d8c71e5cc00132d66eaf96f2acc0382c1c",
+   "rev": "dc1e7a305e4976270e0ca593f952d755da502b12",
    "name": "«doc-gen4»",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "df5a6227493d27098f22cb3a162d49150d88a975",
+   "rev": "99884c27306ffcfe5908548deaa4e62e72c3ae85",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,
@@ -85,7 +85,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "5ce7f0a355f522a952a3d678d696bd563bb4fd28",
+   "rev": "c5d5b8fe6e5158def25cd28eb94e4141ad97c843",
    "name": "LeanSearchClient",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -95,7 +95,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "14107dc03e4540e534621b3af3804c06dfd480f1",
+   "rev": "b5908dbac486279f1133cb937648c63c30b455af",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -135,7 +135,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "f0440aecee888582922e892d573b8726c09a1f6f",
+   "rev": "8fda52e157c840eb11716f8410f3ca2096d325f0",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",