Come desinstalare agda-bin su Debian Unstable (Sid)