Description
GNAT 13 is a Linux package distributed through Flathub. This Freedesktop SDK extension contains necessary components to build an Ada/SPARK project. This includes: Released under GPL-3.0-or-later; upstream at https://www.gnu.org/software/gnat. The package is kept up to date in the Flathub repository.