Merge pull request #202 from leanprover/bump_to_v4.10.0-rc1

chore: bump toolchain to v4.10.0-rc1
leanprover · Jul 1, 2024 · c369436 · c369436
2 parents 1daa0de + 64d527d
commit c369436
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -1,9 +1,10 @@
-{"version": "1.0.0",
+{"version": "1.1.0",
  "packagesDir": ".lake/packages",
  "packages":
  [{"url": "https://github.com/acmepjz/md4lean",
    "type": "git",
    "subDir": null,
+   "scope": "",
    "rev": "9148a0a7506099963925cf239c491fcda5ed0044",
    "name": "MD4Lean",
    "manifestFile": "lake-manifest.json",
@@ -13,7 +14,8 @@
   {"url": "https://github.com/fgdorais/lean4-unicode-basic",
    "type": "git",
    "subDir": null,
-   "rev": "87791b59c53be80a9a000eb2bcbf61f60a27b334",
+   "scope": "",
+   "rev": "c74a052aebee847780e165611099854de050adf7",
    "name": "UnicodeBasic",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -22,6 +24,7 @@
   {"url": "https://github.com/mhuisi/lean4-cli",
    "type": "git",
    "subDir": null,
+   "scope": "",
    "rev": "10d88b52fa8d717fa8e29af3abf0c3a2bf175497",
    "name": "Cli",
    "manifestFile": "lake-manifest.json",

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