From 1f44fdc0d7e26eac21f68970ed29baf9424e4641 Mon Sep 17 00:00:00 2001 From: Kaiyu Yang Date: Fri, 2 Feb 2024 08:59:34 -0600 Subject: [PATCH] bump to v4.6.0-rc1 --- lake-manifest.json | 4 ++-- lean-toolchain | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/lake-manifest.json b/lake-manifest.json index 9350d9c..a6055df 100644 --- a/lake-manifest.json +++ b/lake-manifest.json @@ -4,7 +4,7 @@ [{"url": "https://github.com/leanprover/std4", "type": "git", "subDir": null, - "rev": "7873cf2098544500391066db6540887d3f2fdee4", + "rev": "276953b13323ca151939eafaaec9129bf7970306", "name": "std", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -13,7 +13,7 @@ {"url": "https://github.com/leanprover-community/aesop", "type": "git", "subDir": null, - "rev": "1c638703ed1c0c42aed2687acbeda67cec801454", + "rev": "6beed82dcfbb7731d173cd517675df27d62ad0f4", "name": "aesop", "manifestFile": "lake-manifest.json", "inputRev": "master", diff --git a/lean-toolchain b/lean-toolchain index 0927c52..8e2eb6d 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.5.0-rc1 \ No newline at end of file +leanprover/lean4:v4.6.0-rc1 \ No newline at end of file