Cómo desinstalar libgnat-5-mips-cross en Debian 9 (Stretch)