Como instalar agda-bin no Debian Unstable (Sid)