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