How to remove libgnatprj5-dbg from Debian Unstable (Sid)