chore: update toolchain v4.14.0

fgdorais · Dec 3, 2024 · 711662a · 711662a
1 parent 8ffd4ed
commit 711662a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "d55279d2ff01759fa75752fcf1a93d1db8db18ff",
+   "rev": "90a83f1313ec7fd2a91938c2362d7226432bbd47",
    "name": "UnicodeBasic",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "5de63200cb5bb3460e09225874a6e2fe6ca9da5d",
+   "rev": "8d6c853f11a5172efa0e96b9f2be1a83d861cdd9",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.14.0-rc3
+leanprover/lean4:v4.14.0
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		leanprover/lean4:v4.14.0-rc3
		leanprover/lean4:v4.14.0