En fin, he instalado gnat sólo para descubrir que a mí si me instala el binario gnatbl, entre otros muchos que empiezan por gnat. Por supuesto funciona como te dije sin problemas. Siento no serte de más ayuda, a ver si alguien que use apt y haya instalado gnat te puede dar alguna solución.
Saludos _______________________________________________ CRySoL mailing list http://crysol.inf-cr.uclm.es/ https://arco.inf-cr.uclm.es/cgi-bin/mailman/listinfo/crysol
