ELAN IS BROKEN (AND FIXED)

Stream: general

[Sebastian Ullrich]

If you have elan installed, you may notice that elan update cannot update either Lean or itself anymore. Therefore you will need to install the fixed version manually, e.g. via

curl https://raw.githubusercontent.com/Kha/elan/master/elan-init.sh -sSf | sh -s -- --no-modify-path

[Sebastian Ullrich]

If elan update complains about not being able to update the nightly release, just try again until it succeeds... elan will download a new version of itself that fixes the issue