Zulip Chat Archive
Stream: new members
Topic: error: binary package was not provided for 'linux'
Kevin Sullivan (Sep 22 2022 at 16:23):
I'm now getting this error when leanproject/leanpkg tries to download leanprover-community 3:48:0 (and earlier versions, too). Any ideas?
info: downloading component 'lean'
error: binary package was not provided for 'linux'
Adam Topaz (Sep 22 2022 at 16:27):
I had this happen yesterday, and elan update fixed it for me. Your mileage may vary
Kevin Sullivan (Sep 22 2022 at 16:38):
Yep. Thank you.
Last updated: Dec 20 2023 at 11:08 UTC