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