From c11c3b1fa65b6be85eed0bf4c26dc39f9e7c0a8b Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Wed, 4 Nov 2026 18:31:35 +0000 Subject: [PATCH 1/6] downstream: follow upstream PR --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index b90a67855..3245d3b31 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:nightly-2026-11-04 +leanprover/lean4-pr-releases:pr-release-16235-a01a810 From 7dbad8f14f25eeb781cd93f5d43722786ccf0676 Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Wed, 4 Nov 2026 19:58:17 +0000 Subject: [PATCH 2/6] downstream: follow upstream PR --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index 3245d3b31..91e193e11 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4-pr-releases:pr-release-16235-a01a810 +leanprover/lean4-pr-releases:pr-release-16235-a224596 From 4ee243f38019e933a35a879eeaf634ed228928ae Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Wed, 4 Nov 2026 22:09:37 +0000 Subject: [PATCH 3/6] downstream: follow upstream PR --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index 91e193e11..ebad664ee 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4-pr-releases:pr-release-16235-a224596 +leanprover/lean4-pr-releases:pr-release-16235-fb93fa8 From f1e4a238e16011816b418462e63e1a56d3a8780a Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Wed, 4 Nov 2026 23:00:47 +0000 Subject: [PATCH 4/6] downstream: follow upstream PR --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index ebad664ee..3d92d10ba 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4-pr-releases:pr-release-16235-fb93fa8 +leanprover/lean4-pr-releases:pr-release-16235-2bf9dec From 2189cc343011cc7e5b5dd0e2488db41012565cb9 Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Thu, 5 Nov 2026 00:18:17 +0000 Subject: [PATCH 5/6] downstream: follow upstream PR --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index 3d92d10ba..c272274b1 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4-pr-releases:pr-release-16235-2bf9dec +leanprover/lean4-pr-releases:pr-release-16235-25dc542 From 0a444d72f42c574f89dc5a7c1abe7e97ae4fb863 Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Thu, 5 Nov 2026 01:23:12 +0000 Subject: [PATCH 6/6] downstream: follow upstream PR --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index c272274b1..0a4a812e5 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4-pr-releases:pr-release-16235-25dc542 +leanprover/lean4-pr-releases:pr-release-16235-93b8f4d