From 29b2cf1d78d925667959248a7384420e16a257a9 Mon Sep 17 00:00:00 2001 From: fgdorais Date: Fri, 17 Apr 2026 17:09:01 +0000 Subject: [PATCH] chore: update toolchain v4.30.0-rc2 --- 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 a37e71f..bb20d7a 100644 --- a/lake-manifest.json +++ b/lake-manifest.json @@ -5,7 +5,7 @@ "type": "git", "subDir": null, "scope": "", - "rev": "869d78784cf1b82c87f023122449566961947d2e", + "rev": "05954ce1797e6bd6b414c916499fe6dda4a11702", "name": "UnicodeBasic", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -15,7 +15,7 @@ "type": "git", "subDir": null, "scope": "", - "rev": "bf597c77bf9b8e66720d724928207f5911533113", + "rev": "5169c93a9be986ac9d937fed59c89302cf7cd62a", "name": "batteries", "manifestFile": "lake-manifest.json", "inputRev": "main", diff --git a/lean-toolchain b/lean-toolchain index 2210cba..6c7e31f 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.30.0-rc1 +leanprover/lean4:v4.30.0-rc2