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