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