Download GNAT GPL and SPARK GPL Editions
The GNAT GPL and SPARK GPL Editions are made available to the free software developers by AdaCore. They are not intended for professional development, and AdaCore makes NO WARRANTY on them.
The software on this page is made available under the Free Software licenses documented in the packages, typically the GNU General Public License (GPL).
GNAT and SPARK technology is also available in a professional, fully supported version. To find out which version is right for you, review the Technology comparison chart.
By downloading software from this page, you agree to abide by the terms and conditions of the licenses applicable to that software.
If you want to download a single file, just click on the file name. If you want to download multiple files, select each of them, and click on the “Download selected files” button at the bottom of this page. The set of files you have selected will be gathered into a tar archive. When the download is completed, you can retrieve the files you have selected with the following commands:
-
On UNIX, use the tar command as follows:
tar xf filename -
On Windows, you can use the
Extractfacility of theWinziputility.
If you have problems downloading or installing GNAT GPL or SPARK GPL Edition contact us at gnat-gpl@adacore.com
Which versions of GNAT and SPARK are right for you?
Review the Technology Comparison Chart to find out which version of GNAT or SPARK is right for you.