Freedesktop SDK Ada Extension with GNAT 13

This folder contains necessary files to repack an GNAT-13-based Ada development environment into an extention to the org.freedesktop.Sdk Flatpak container image.

Includes

• GNAT-FSF (Ada/GCC) 13.x
• GNATprove (SPARK) 13.x
• GPRbuild latest
• Alire (alr) latest

So far the manifest simply downloads pre-built binaries from alire-project/GNAT-FSF-builds and alire-project/alire.

License

The metadata files included in this folder are public domain work under the CC0 1.0 license. See CC0-1.0.txt for a copy of the license text.