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