Descrição
GNAT 13 é um pacote disponibilizado através do Flathub para sistemas Linux. Mantém-se sincronizado com o projeto upstream e é instalado e atualizado pelo gerenciador de pacotes correspondente. Resumo upstream: "GNU Ada/SPARK compiler and build environment". Distribuído sob a licença GPL-3.0-or-later. O projeto upstream está disponível em https://www.gnu.org/software/gnat.