Update docbuild

Author: pandaman64

docbuild/lake-manifest.json

@@ -5,10 +5,10 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover",
-   "rev": "31023a7025add9dbae9ab31db6c87295d6294a0d",
+   "rev": "0f3b6c1d1b611d40c738f49ebf1d9ab9ee820e15",
    "name": "«doc-gen4»",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.24.0-rc1",
+   "inputRev": "v4.25.1",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"type": "path",
@@ -18,11 +18,11 @@
    "inherited": false,
    "dir": "../correctness",
    "configFile": "lakefile.toml"},
-  {"url": "https://github.com/mhuisi/lean4-cli",
+  {"url": "https://github.com/leanprover/lean4-cli",
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "b62fd39acc32da6fb8bb160c82d1bbc3cb3c186e",
+   "rev": "cd188c6ecfbf6c00cf639e4d4fb18bf773ce8c2c",
    "name": "Cli",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -32,7 +32,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "7de009e167ba815c0111fe516ffbffc1a23035cc",
+   "rev": "c120f43ef14fb577096e39ebed0cb25af2b5682d",
    "name": "UnicodeBasic",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -42,7 +42,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "1b05159ad44f220cec7489e65e6bc4b1e178b67f",
+   "rev": "29a4b34f8caa7c95934ab4494d8866fde1850c0b",
    "name": "BibtexQuery",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -52,7 +52,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "aaee7fa4a1a158bd814d76f642df8a1d19db9f49",
+   "rev": "38ac5945d744903ffcc473ce1030223991b11cf6",
    "name": "MD4Lean",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -69,17 +69,17 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "f897ebcf72cd16f89ab4577d0c826cd14afaafc7",
+   "rev": "0df2e3c2047ada0d7a2e33dbc6ba2788a44a6062",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.24.0",
+   "inputRev": "v4.25.1",
    "inherited": true,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/plausible",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "dfd06ebfe8d0e8fa7faba9cb5e5a2e74e7bd2805",
+   "rev": "0203092c2e5e26edf967000f0e177cf31c72e17a",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -89,7 +89,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "99657ad92e23804e279f77ea6dbdeebaa1317b98",
+   "rev": "2ed4ba69b6127de8f5c2af83cccacd3c988b06bf",
    "name": "LeanSearchClient",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -99,7 +99,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "d768126816be17600904726ca7976b185786e6b9",
+   "rev": "3611075024b3529e5798e53c733671039f06f0bd",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -109,17 +109,17 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "556caed0eadb7901e068131d1be208dd907d07a2",
+   "rev": "135329b50b116dcc2c021c318c365e82a048856f",
    "name": "proofwidgets",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v0.0.74",
+   "inputRev": "v0.0.80",
    "inherited": true,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/aesop",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "725ac8cd67acd70a7beaf47c3725e23484c1ef50",
+   "rev": "a2e4d9e9aebdbdce1ce6b6f0a19dd49e0120c990",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -129,7 +129,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "dea6a3361fa36d5a13f87333dc506ada582e025c",
+   "rev": "9bff22d64abde45944c7b1f55bce6c89dd8307e6",
    "name": "Qq",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -139,7 +139,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "8da40b72fece29b7d3fe3d768bac4c8910ce9bee",
+   "rev": "ffad3f5b7ebe1ac3e09779ec8a863a5138c1246c",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

docbuild/lakefile.toml

@@ -10,4 +10,4 @@ path = "../correctness"
 [[require]]
 scope = "leanprover"
 name = "doc-gen4"
-rev = "v4.24.0"
+rev = "v4.25.1"

docbuild/lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.24.0
+leanprover/lean4:v4.25.1