How to remove libflint-2.5.2 from Debian Unstable (Sid)