search

leanprover / elan

The Lean version manager
Apache License 2.0
297 stars 34 forks source link

Elan not installing on Raspian (x32 and x64) #39

Closed TimeTravelPenguin closed 2 years ago

TimeTravelPenguin commented 2 years ago

I am using a raspberry pi, and currently switched to 64bit OS; however, this problem remains on the 32bit. Following the install guide:

$ curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh
> info: downloading installer
> curl: (22) The requested URL returned error: 404 
> elan: command failed: curl -sSfL https://github.com/leanprover/elan/releases/download/v1.0.8/elan-aarch64-unknown-linux-gnu.tar.gz -o /tmp/tmp.h0SU5jG1M1/elan-init.tar.gz

Edit: Using sudo changes nothing.

Kha commented 2 years ago

Neither Lean nor elan officially support ARM