How to remove regina-normal-mpi from Debian Unstable (Sid)