hargoniX
diff --git a/‎lean-toolchain‎
Lines changed: 1 addition & 1 deletion b/‎lean-toolchain‎
Lines changed: 1 addition & 1 deletion
@@ -1 +1 @@
- leanprover/lean4-pr-releases:pr-release-14215-3904de0
+ leanprover/lean4-pr-releases:pr-release-14215-1762863
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`- leanprover/lean4-pr-releases:pr-release-14215-3904de0`
	`1`	`+ leanprover/lean4-pr-releases:pr-release-14215-1762863`