Como desinstalar gnat-4.8-doc do Debian Unstable (Sid)