Support for v2.7.0.1 #299
Annotations
2 errors
|
Setup Agda (2.7.0.1)
Error: Could not find a binary distribution for x64-linux
|
|
Setup Agda (2.7.0.1)
Error: All installation methods have failed
|
Loading