Stream: lean4

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

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.

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

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