How to remove agda from Debian Unstable (Sid)