# Canonical Lean release lines whose RC and patch toolchains beam may qualify locally.
leanprover/lean4:v4.36
leanprover/lean4:v4.35
leanprover/lean4:v4.34