Como instalar agda-stdlib no Debian Unstable (Sid)