Issue on installing precompiled binaries

Hi Team,

I'm trying to install by following the process here https://eta-lang.org/docs/user-guides/eta-user-guide/installation/etlas#installation, but I can't manage to download the compiled binaries.