How to remove libtachyon-openmpi-0 from Debian Unstable (Sid)