AdaCore publica periódicamente versiones públicas bajo la licencia GPL.