v4.10.0-rc2 に更新する

Fixes #467
lean-ja · Jul 10, 2024 · 6c6d0ca · 6c6d0ca
1 parent a881e67
commit 6c6d0ca
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": "leanprover-community",
-   "rev": "920a09209f3eff179ff2555e9809748f87606c62",
+   "rev": "c0efc1fd2a0bec51bd55c5b17348af13d7419239",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -35,7 +35,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "deb5bd446a108da8aa8c1a1b62dd50722b961b73",
+   "rev": "cf30d04b6448dbb5a5b30a7d031e3949e74b9dd1",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -75,7 +75,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "a78833135be0437d8cedbcdbb895823f8b54d5d4",
+   "rev": "7bc13f8d7755df640105082591f82aadf1d3b9e3",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",

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