Zulip Chat Archive

Stream: lean4

Topic: error: binary package was not provided for 'linux'


view this post on Zulip Kevin Buzzard (Mar 06 2021 at 00:36):

buzzard@bob:~/active-lean-projects/lean4-filters$ elan update leanprover/lean4:nightly
info: syncing channel updates for 'nightly'
info: latest update on nightly, lean version nightly-2021-03-05
info: downloading component 'lean'
error: binary package was not provided for 'linux'
buzzard@bob:~/active-lean-projects/lean4-filters$

Is this expected? I've switched to stable for now.

view this post on Zulip Bryan Gin-ge Chen (Mar 06 2021 at 00:39):

It looks like the latest nightly release just came out minutes ago; if you try again in a bit it should work: https://github.com/leanprover/lean4-nightly/releases

view this post on Zulip Bryan Gin-ge Chen (Mar 06 2021 at 00:40):

Oh, actually yesterday's nightly only has a darwin release as well. Maybe there is something wrong...

edit: Nevermind, looks like that was fixed in this commit. The current nightly progress is visible here


Last updated: May 07 2021 at 12:15 UTC