https://alire.ada.dev/
One thing to be aware of is that GNAT is part of GCC:
https://gcc.gnu.org/wiki/GNAT
AdaCore is the primary developer of GNAT, SPARK, and related tools:
https://blog.adacore.com/a-new-era-for-ada-spark-open-source...
There are other Ada compilers as well:
https://forum.ada-lang.io/t/updated-list-of-ada-compilers/10...
> Use three spaces as the basic unit of indentation for nesting.
https://en.wikibooks.org/wiki/Ada_Style_Guide/Source_Code_Pr...
https://github.com/AdaCore/gnatformat
I had forgotten about the three spaces for indentation. Yuck.
> Use three spaces as the basic unit of indentation for nesting.
https://en.wikibooks.org/wiki/Ada_Style_Guide/Source_Code_Pr...