Cómo instalar agda-bin en Debian Unstable (Sid)