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: May 02 2025 at 03:31 UTC