From a7b3a8f21959d8ea9e6161e2adeee9673cd5b370 Mon Sep 17 00:00:00 2001 From: Scott Morrison Date: Thu, 30 Nov 2023 14:21:19 +1100 Subject: [PATCH] chore: bump toolchain to v4.3.0 --- lean-toolchain | 2 +- test/Mathlib/lake-manifest.json | 6 +++--- 2 files changed, 4 insertions(+), 4 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..d1658a9 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": "415a6731db08f4d98935e5d80586d5a5499e02af", "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": "d9c853b93556f41e86f0e2f5883b74ba1532b239", "name": "mathlib", "manifestFile": "lake-manifest.json", "inputRev": "master",