From 5ca862818048b92adee841873cafa6a50f167660 Mon Sep 17 00:00:00 2001 From: Kim Morrison Date: Mon, 1 Jul 2024 10:53:55 +1000 Subject: [PATCH] chore: bump toolchain to v4.9.0 --- lake-manifest.json | 2 +- lean-toolchain | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/lake-manifest.json b/lake-manifest.json index 1977cfc..d056767 100644 --- a/lake-manifest.json +++ b/lake-manifest.json @@ -13,7 +13,7 @@ {"url": "https://github.com/leanprover-community/batteries", "type": "git", "subDir": null, - "rev": "15d42e1a92a80d0db5ca1c12123866ba392b9d76", + "rev": "54bb04c3119f24fde14b9068c4b2e69db52a1450", "name": "batteries", "manifestFile": "lake-manifest.json", "inputRev": "main", diff --git a/lean-toolchain b/lean-toolchain index 0ba3faf..4ef27c4 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.9.0-rc1 +leanprover/lean4:v4.9.0