chore: bump toolchain to v4.25.0 (#656)

Author: kim-em

Manual/Releases/v4_25_0.lean

@@ -12,7 +12,7 @@ open Manual
 open Verso.Genre
 
 
-#doc (Manual) "Lean 4.25.0-rc2 (2025-10-22)" =>
+#doc (Manual) "Lean 4.25.0 (2025-11-14)" =>
 %%%
 tag := "release-v4.25.0"
 file := "v4.25.0"

lake-manifest.json

@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "df4ba1b735b10ec126ab6011eec199bc05bbe34b",
+   "rev": "f24d1cfafebe73e283582694fa75188975188f76",
    "name": "verso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.25.0-rc2
+leanprover/lean4:v4.25.0