[create-pull-request] automated change (#85)

Author: github-actions[bot]

lake-manifest.json

@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "1b489cdbe4bc57a6acdddb9a5dc5699acacdecdd",
+   "rev": "b3fb998509f92a040e362f8a06f8ee2825ec8c10",
    "name": "«doc-gen4»",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "630d51568cc9ab82eedaf9be40a96f002c74564d",
+   "rev": "f926055d78ba4e699f1b0ad2faca8c9947f6abf1",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,
@@ -75,7 +75,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "ebfb31672ab0a5b6d00a018ff67d2ec51ed66f3a",
+   "rev": "115177554fb2f67d583586886a9cfe1db2899945",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -85,7 +85,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "0c169a0d55fef3763cfb3099eafd7b884ec7e41d",
+   "rev": "8d29bc2c3ebe1f863c2f02df816b4f3dd1b65226",
    "name": "LeanSearchClient",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -95,7 +95,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "08372f1ec11df288ff76621ead7b0b575cb29355",
+   "rev": "82480d38be7db5235f5407d5a5951b36b37f2584",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -115,7 +115,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "ec060e0e10c685be8af65f288e23d026c9fde245",
+   "rev": "2bcdf2985dbe37cff63ca18346d8b26b8a448d3d",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -125,7 +125,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "d892d7a88ad0ccf748fb8e651308ccd13426ba73",
+   "rev": "0e05c2f090b7dd7a2f530bdc48a26b546f4837c7",
    "name": "Qq",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -135,7 +135,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "092b30de8e7ee78e96b24c235d99e26f2942d77e",
+   "rev": "613510345e4d4b3ce3d8c129595e7241990d5b39",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.18.0-rc1
+leanprover/lean4:v4.18.0