From 604b485be4df6f1ed81329d5015618f7fc99794a Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Fri, 24 Jul 2026 01:16:28 +0000 Subject: [PATCH 01/11] downstream: follow upstream PR --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index 728ce7a44..ba13b0c59 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:nightly-2026-07-22 +leanprover/lean4-pr-releases:pr-release-14316-d729e4e From 360993cd6ac9dd63ae01c5c49c83884d45ff21dd Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Fri, 24 Jul 2026 10:16:44 +0000 Subject: [PATCH 02/11] downstream: follow upstream PR --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index ba13b0c59..c8c4bc5c2 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4-pr-releases:pr-release-14316-d729e4e +leanprover/lean4-pr-releases:pr-release-14316-58b3b47 From e9818da93e90269891711fc5a67e5b65f880f00a Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Fri, 24 Jul 2026 12:09:17 +0000 Subject: [PATCH 03/11] downstream: follow upstream PR --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index c8c4bc5c2..e7accfc02 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4-pr-releases:pr-release-14316-58b3b47 +leanprover/lean4-pr-releases:pr-release-14316-61aa947 From 917c44799ba168576f899522cfa3b4e4ee0020cf Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Sun, 26 Jul 2026 13:10:04 +0000 Subject: [PATCH 04/11] downstream: follow upstream PR --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index e7accfc02..5e4be3bf9 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4-pr-releases:pr-release-14316-61aa947 +leanprover/lean4-pr-releases:pr-release-14316-cf34826 From 83c145578518b5b2c17e52ae189be9d2cc979edc Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Sun, 26 Jul 2026 13:36:07 +0000 Subject: [PATCH 05/11] downstream: follow upstream PR --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index 5e4be3bf9..75425f356 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4-pr-releases:pr-release-14316-cf34826 +leanprover/lean4-pr-releases:pr-release-14316-f1bb829 From 13d1628bb61b4d66d6f844af2661673b43f6de53 Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Tue, 28 Jul 2026 08:33:41 +0000 Subject: [PATCH 06/11] downstream: follow upstream PR --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index 75425f356..a1b6d699b 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4-pr-releases:pr-release-14316-f1bb829 +leanprover/lean4-pr-releases:pr-release-14316-0bd6fae From 0f882e4683db11983bd90347d040828218f1d4fa Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Tue, 28 Jul 2026 17:19:23 +0000 Subject: [PATCH 07/11] downstream: follow upstream PR --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index a1b6d699b..7b42bd3f4 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4-pr-releases:pr-release-14316-0bd6fae +leanprover/lean4-pr-releases:pr-release-14316-3a9a2d2 From d4323d62d1f68bc23858605f415c1ff9ca46c39f Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Wed, 29 Jul 2026 17:17:42 +0000 Subject: [PATCH 08/11] downstream: follow upstream PR --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index 7b42bd3f4..b9956373e 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4-pr-releases:pr-release-14316-3a9a2d2 +leanprover/lean4-pr-releases:pr-release-14316-ba77e49 From f3ef64b6665b69e8eea53e89270aa6de417914fe Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Thu, 30 Jul 2026 22:45:40 +0000 Subject: [PATCH 09/11] downstream: follow upstream PR --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index b9956373e..07aeb0cbf 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4-pr-releases:pr-release-14316-ba77e49 +leanprover/lean4-pr-releases:pr-release-14316-c50a9e9 From 453153bd07824b7ecb466dc6a2a2a1942e204609 Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Fri, 31 Jul 2026 19:02:09 +0000 Subject: [PATCH 10/11] downstream: follow upstream PR --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index 07aeb0cbf..72727f16b 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4-pr-releases:pr-release-14316-c50a9e9 +leanprover/lean4-pr-releases:pr-release-14316-50eb538 From e2dcedbfe14dbf45bd5a9c2aba0d71e924f4b300 Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Sun, 9 Aug 2026 15:47:13 +0000 Subject: [PATCH 11/11] downstream: follow upstream PR --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index 72727f16b..07ba05521 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4-pr-releases:pr-release-14316-50eb538 +leanprover/lean4-pr-releases:pr-release-14316-fc60f36