Como desinstalar agda-mode do Debian Unstable (Sid)