chore: bump mathlib

leanprover-community · Jul 10, 2024 · 298b070 · 298b070
1 parent a218eb2
commit 298b070
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
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "7391b9f9b06eca6fcc36d211db143ba7f84dbe29",
+   "rev": "c0efc1fd2a0bec51bd55c5b17348af13d7419239",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "deb5bd446a108da8aa8c1a1b62dd50722b961b73",
+   "rev": "cf30d04b6448dbb5a5b30a7d031e3949e74b9dd1",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "a90eae702ddbc04a9de156372534eb2bc844cb73",
+   "rev": "e242f1edcacf917f40fae9b81f57f4bd0a4e45ac",
    "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