Bump version to 4.25.2

markusdemedeiros · markusdemedeiros · commit 18fcc0773f03 · 2025-12-19T07:10:40.000-05:00
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "9a599e9f9d787540a9d3a6f6aa5b1c6c4a387127",
+   "rev": "9371548b6ac4467fea4dfc675881f6212cc5565d",
    "name": "Qq",
    "manifestFile": "lake-manifest.json",
    "inputRev": "stable",
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.25.1
+leanprover/lean4:v4.25.2
