From c439e80639e1f237428ce89bb218e6976a8af2db Mon Sep 17 00:00:00 2001 From: Scott Morrison Date: Thu, 7 Dec 2023 04:03:56 +1100 Subject: [PATCH] chore: bump toolchain to v4.4.0-rc1 --- lean-toolchain | 2 +- test/Mathlib/lake-manifest.json | 8 ++++---- test/Mathlib/lean-toolchain | 2 +- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/lean-toolchain b/lean-toolchain index 5cadc9d..91ccf6a 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.3.0 +leanprover/lean4:v4.4.0-rc1 diff --git a/test/Mathlib/lake-manifest.json b/test/Mathlib/lake-manifest.json index eb87942..58b01c1 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": "2e4a3586a8f16713f16b2d2b3af3d8e65f3af087", + "rev": "baf6defee1fe881ae535519c0776f37f6ef08603", "name": "std", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -13,7 +13,7 @@ {"url": "https://github.com/leanprover-community/quote4", "type": "git", "subDir": null, - "rev": "d3a1d25f3eba0d93a58d5d3d027ffa78ece07755", + "rev": "ccba5d35d07a448fab14c0e391c8105df6e2564c", "name": "Qq", "manifestFile": "lake-manifest.json", "inputRev": "master", @@ -22,7 +22,7 @@ {"url": "https://github.com/leanprover-community/aesop", "type": "git", "subDir": null, - "rev": "c7cff4551258d31c0d2d453b3f9cbca757d445f1", + "rev": "3141402ba5a5f0372d2378fd75a481bc79a74ecf", "name": "aesop", "manifestFile": "lake-manifest.json", "inputRev": "master", @@ -49,7 +49,7 @@ {"url": "https://github.com/leanprover-community/mathlib4", "type": "git", "subDir": null, - "rev": "c72f4d06b1f28f07f7d049118aa2dd1402406346", + "rev": "561ab0981d6df710afb3d34423378152195e3440", "name": "mathlib", "manifestFile": "lake-manifest.json", "inputRev": "master", diff --git a/test/Mathlib/lean-toolchain b/test/Mathlib/lean-toolchain index 5cadc9d..91ccf6a 100644 --- a/test/Mathlib/lean-toolchain +++ b/test/Mathlib/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.3.0 +leanprover/lean4:v4.4.0-rc1