Download GNAT GPL and SPARK GPL Editions

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 Extract facility of the Winzip utility.

If you have problems downloading or installing GNAT GPL or SPARK GPL Edition contact us at gnat-gpl@adacore.com