From 04e0e9e00e24b0467df9605c6d837c5bdcdeb9b8 Mon Sep 17 00:00:00 2001 From: Scott Morrison Date: Sat, 2 Dec 2023 12:17:28 +1100 Subject: [PATCH] chore: bump toolchain to v4.3.0 --- lean-toolchain | 2 +- test/Mathlib/lake-manifest.json | 6 +++--- test/Mathlib/lean-toolchain | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/lean-toolchain b/lean-toolchain index 24a3cdb..5cadc9d 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.3.0-rc2 +leanprover/lean4:v4.3.0 diff --git a/test/Mathlib/lake-manifest.json b/test/Mathlib/lake-manifest.json index 3e41c8f..eb87942 100644 --- a/test/Mathlib/lake-manifest.json +++ b/test/Mathlib/lake-manifest.json @@ -4,7 +4,7 @@ [{"url": "https://github.com/leanprover/std4", "type": "git", "subDir": null, - "rev": "e403f680f0beb8610c29e6f799132e8be880554e", + "rev": "2e4a3586a8f16713f16b2d2b3af3d8e65f3af087", "name": "std", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -22,7 +22,7 @@ {"url": "https://github.com/leanprover-community/aesop", "type": "git", "subDir": null, - "rev": "bf5ab42a58e71de7ebad399ce3f90d29aae7fca9", + "rev": "c7cff4551258d31c0d2d453b3f9cbca757d445f1", "name": "aesop", "manifestFile": "lake-manifest.json", "inputRev": "master", @@ -49,7 +49,7 @@ {"url": "https://github.com/leanprover-community/mathlib4", "type": "git", "subDir": null, - "rev": "5be6ac521cc1dbd9c3f2b9424e1d09d8726764bb", + "rev": "c72f4d06b1f28f07f7d049118aa2dd1402406346", "name": "mathlib", "manifestFile": "lake-manifest.json", "inputRev": "master", diff --git a/test/Mathlib/lean-toolchain b/test/Mathlib/lean-toolchain index 24a3cdb..5cadc9d 100644 --- a/test/Mathlib/lean-toolchain +++ b/test/Mathlib/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.3.0-rc2 +leanprover/lean4:v4.3.0