Como instalar agda-stdlib-doc no Debian Unstable (Sid)