Zulip Chat Archive

Stream: lean4

Topic: Nightly 01-31


view this post on Zulip Alex J. Best (Jan 31 2021 at 00:47):

The latest nightly https://github.com/leanprover/lean4-nightly/releases/tag/nightly-2021-01-31 doesn't seem to have windows or darwin binaries, do these take some time to appear or should they be there? (I see https://github.com/leanprover/lean4-nightly/releases/tag/nightly-2021-01-28 is the same)

view this post on Zulip Leonardo de Moura (Jan 31 2021 at 01:18):

Could you please try again? I am seeing them
image.png

view this post on Zulip Leonardo de Moura (Jan 31 2021 at 01:18):

I don't have a Windows machine for testing them right now, but there is a lean.exe in the .zip file :)

view this post on Zulip Alex J. Best (Jan 31 2021 at 01:34):

Great, it is working now! Maybe I just had bad timing.
Earlier the error message was:

alexj@DESKTOP-HFH3GTJ MINGW64 ~/lean4test (master)
$ elan install leanprover/lean4:nightly
info: syncing channel updates for 'nightly'
info: latest update on nightly, lean version nightly-2021-01-31
info: downloading component 'lean'
error: binary package was not provided for 'windows'

Last updated: May 18 2021 at 23:14 UTC