How to remove libcoin80v5 from Debian Unstable (Sid)