From d9956e9fd3d138def1ab8b85ec86f35d584dfa1f Mon Sep 17 00:00:00 2001 From: Kim Morrison Date: Wed, 5 Jun 2024 13:52:39 +1000 Subject: [PATCH] chore: bump toolchain to v4.8.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 c24d801..d8a8062 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": "56d2e4ee226603eb6b90b05f6b944bde42672cd5", + "rev": "51e6e0d24db9341fb031288c298b7e6b56102253", "name": "batteries", "manifestFile": "lake-manifest.json", "inputRev": "main", diff --git a/lean-toolchain b/lean-toolchain index d8a6d7e..ef1f67e 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.8.0-rc1 +leanprover/lean4:v4.8.0