Zulip Chat Archive
Stream: lean4
Topic: nightly 12.11.2021 not published for Linux
Henrik Böving (Dec 11 2021 at 11:59):
When I try to do an elan update
:
λ elan update
info: syncing channel updates for 'stable'
info: latest update on stable, lean version v3.35.1
info: syncing channel updates for 'nightly'
info: latest update on nightly, lean version nightly-2021-12-11
info: downloading component 'lean'
error: binary package was not provided for 'linux'
info: checking for self-updates
stable unchanged - Lean (version 3.35.1, commit 4887d8a30621, Release)
leanprover/lean4:nightly update failed - Lean (version 4.0.0-nightly-2021-11-26, commit 3ccd44fafae1, Release)
it appears no Linux binaries were published for this release? I also can't see any in the assets part of this nightly https://github.com/leanprover/lean4-nightly/releases/tag/nightly-2021-12-11.
Mac (Dec 11 2021 at 16:27):
@Henrik Böving yes, the Linux release build was broken yesterday so its nightly has no Linux release.
Last updated: Dec 20 2023 at 11:08 UTC