How to remove pike8.0-dev from Debian Unstable (Sid)