error: binary package was not provided

Stream: new members

[Vasily Ilin]

I am having trouble with leanproject. Does anyone know how to fix this?

C:\Users\Math User\Github
λ leanproject new LLL
> cd LLL
> git init -q
> git checkout -b lean-3.42.1
Switched to a new branch 'lean-3.42.1'
configuring LLL 0.1
Adding mathlib
info: downloading component 'lean'
error: binary package was not provided for 'windows'
Command '['leanpkg', 'add', 'leanprover-community/mathlib']' returned non-zero exit status 1.

[Alex J. Best]

Try elan self update

[Bjørn Kjos-Hanssen]

I have the same problem... elan self update gave this response:

info: checking for self-updates
error: failed to parse latest release tag

[Kevin Buzzard]

If that doesn't work then uninstall and reinstall elan following the installation instructions on the community website

[Vasily Ilin]

Thank you all! elan self update did the trick for me. Some other people are getting errors. I'll ask for more help if needed!