Merge pull request #254 from leanprover/bump_to_v4.15.0

chore: bump toolchain to v4.15.0
leanprover · Jan 4, 2025 · 0291556 · 0291556
2 parents e498801 + 86c1e82
commit 0291556
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,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "d55279d2ff01759fa75752fcf1a93d1db8db18ff",
+   "rev": "470c41643209208d325a5a7315116f293c7443fb",
    "name": "UnicodeBasic",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "982700bcf78b93166e5b1af0b4b756b8acfdb54b",
+   "rev": "46376bc3c8f46ac1a1fd7712856b0f7bd6166098",
    "name": "BibtexQuery",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -35,7 +35,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "fe8e6e649ac8251f43c6f6f934f095ebebce7e7c",
+   "rev": "f8ed91f3a9d806648ae6a03ab98c8b87e8bedc7e",
    "name": "MD4Lean",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

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