From 72e517ef2d469efd73513ed094e4f4c3954e1a95 Mon Sep 17 00:00:00 2001 From: Ryan Lahfa Date: Mon, 25 Mar 2024 12:19:00 +0100 Subject: backend(/tests)/lean: 4.6.0-rc1 → 4.6.1 4.6.0 has been released in https://github.com/leanprover/lean4/releases/tag/v4.6.0 Signed-off-by: Ryan Lahfa --- tests/lean/lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tests/lean/lean-toolchain') diff --git a/tests/lean/lean-toolchain b/tests/lean/lean-toolchain index cfcdd327..f96d662e 100644 --- a/tests/lean/lean-toolchain +++ b/tests/lean/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.6.0-rc1 +leanprover/lean4:v4.6.1 -- cgit v1.2.3