elan can't install lean v4.10.0-rc2

Stream: lean4

[Bulhwi Cha]

$ elan toolchain install leanprover/lean4:v4.10.0-rc2

  leanprover/lean4:v4.10.0-rc2 unchanged - (toolchain not installed)

Elan can install Lean v4.10.0 but not v4.10.0-rc2. I need it to look into the IMO 2024 Solutions produced by AlphaProof.

[Bulhwi Cha]

I've replaced v4.10.0-rc2 with v4.10.0 in the lakefile.lean and lean-toolchain files, and then successfully built the solutions.

[Kim Morrison]

Can't reproduce. Try re-installing elan (including deleting your .elan directory)? I suspect you've broken something.

[Bulhwi Cha]

Okay, I'll try installing it again soon!

[Bulhwi Cha]

I didn't reinstall elan, but it works fine now.