# Canonical Lean release lines whose RC and patch toolchains beam may qualify locally.
leanprover/lean4:v4.34
leanprover/lean4:v4.33
leanprover/lean4:v4.32
leanprover/lean4:v4.31
leanprover/lean4:v4.30
leanprover/lean4:v4.29
leanprover/lean4:v4.28