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...
Last updated: May 07 2021 at 12:15 UTC