bump v4.13.0

hhu-adam · Nov 25, 2024 · 515f836 · 515f836
1 parent 681d556
commit 515f836
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -15,11 +15,11 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "4756e0fc48acce0cc808df0ad149de5973240df6",
+   "rev": "31a10a332858d6981dbcf55d54ee51680dd75f18",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.12.0",
+   "inputRev": "v4.13.0",
    "inherited": false,
-   "configFile": "lakefile.lean"}],
+   "configFile": "lakefile.toml"}],
  "name": "i18n",
  "lakeDir": ".lake"}
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.12.0
+leanprover/lean4:v4.13.0