Hello, me again!
I’ve released GNAT and GNATprove FSF 16 builds in the GNAT-FSF-builds repo. PRs for these new versions are being reviewed in the Alire index.
These are based on the 16.1.0 release of GCC. For GNAT, this is just the native release, cross compilers will come later.
On Apple hardware, this release officially supports the last two released macOS versions: macOS 15 and macOS 26. On earlier OS versions, compiling Ada code should work fine, but you may encounter issues when building C or C++ code.
It is expected that this release will fail to compile some previously accepted code, notably in some AdaCore libraries, because of constructs that should not have been accepted. If you encounter such issues in AdaCore/GNAT libraries, they should be fixed in the next release cycle (release 27.x).
Happy compiling!