Merge pull request #268 from leanprover/bump_to_v4.17.0

chore: bump toolchain to v4.17.0
leanprover · Mar 3, 2025 · b031cb6 · b031cb6
2 parents 32578e5 + ffaff92
commit b031cb6
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "a2eb24a3dbf681f2b655f82ba5ee5b139d4a5abc",
+   "rev": "c53b3371dd0fe5f3dd75a2df543c3550e246465a",
    "name": "Cli",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -21,16 +21,16 @@
    "inputRev": "main",
    "inherited": false,
    "configFile": "lakefile.lean"},
-  {"url": "https://github.com/kim-em/BibtexQuery",
+  {"url": "https://github.com/dupuisf/BibtexQuery",
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "2411c47ee06f2fc986d929e22731c77e61eaadb6",
+   "rev": "63a4bd4ffa4b67dbd8cf5489a0f01bfdc084602c",
    "name": "BibtexQuery",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "bump_to_v4.17.0-rc1",
+   "inputRev": "master",
    "inherited": false,
-   "configFile": "lakefile.lean"},
+   "configFile": "lakefile.toml"},
   {"url": "https://github.com/acmepjz/md4lean",
    "type": "git",
    "subDir": null,

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