error: binary package was not provided for 'linux'

Stream: lean4

[Kevin Buzzard]

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]

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]

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