Como desinstalar agda-bin do Debian Unstable (Sid)