How to remove choreonoid from Debian Unstable (Sid)