How to remove libgnatcoll-gmp1.6 from Debian Unstable (Sid)