Zulip Chat Archive

Stream: lean4

Topic: prerelease elan channel


Julian Berman (Nov 17 2024 at 21:55):

elan has stable and nightly release channels, usable e.g. via elan toolchain install or (what I care about at the minute) with elan default <toolchain> for setting a default toolchain.
At this moment, stable will get you 4.13.0, the latest stable release, and nightly will get you the latest nightly, 2024-11-15.
In particular, neither get you 4.14.0-rc2 which is the latest prerelease (and which happens to be what mathlib HEAD is on).
Does this -- a channel which provides the latest release regardless of whether it's a prerelease -- exist? It would seem not to from grepping elan's source code. Assuming I didn't miss it, does anyone else care about having it? I would want it personally because that's what I'd want my default toolchain to be outside of a project, but I have some weird personal setup (which I was just revisiting to decide if I should abandon).

Sebastian Ullrich (Nov 17 2024 at 21:58):

Yes, the beta channel like in Rustup will at some point return

Julian Berman (Nov 17 2024 at 21:59):

Aha, great! OK. I'll hold tight, thanks Sebastian.


Last updated: May 02 2025 at 03:31 UTC