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 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

Use the check boxes to download multiple files or click directly on the links to download individual files.

2012

GNAT 2012 for x86-windows

AJIS 2012 for x86-windows

ASIS 2012 for x86-windows

AUnit 2012 for x86-windows

AWS 2012 for x86-windows

GNATbench 2.6.0 for x86-windows

GNATcoll 2012 for x86-windows

GtkAda 2.24.2 for x86-windows

PolyORB 2012 for x86-windows

SPARK GPL 2012 for x86-windows

Win32Ada 2012 for x86-windows

WPosix 2012 for x86-windows

XML/Ada 2012 for x86-windows

GNAT 2012 for x86-linux

AJIS 2012 for x86-linux

ASIS 2012 for x86-linux

AUnit 2012 for x86-linux

AWS 2012 for x86-linux

Florist 2012 for x86-linux

GNATbench 2.6.0 for x86-linux

GNATcoll 2012 for x86-linux

GtkAda 2.24.2 for x86-linux

PolyORB 2012 for x86-linux

SPARK GPL 2012 for x86-linux

XML/Ada 2012 for x86-linux

GNAT 2012 for x86_64-linux

AJIS 2012 for x86_64-linux

ASIS 2012 for x86_64-linux

AUnit 2012 for x86_64-linux

AWS 2012 for x86_64-linux

Florist 2012 for x86_64-linux

GNATbench 2.6.0 for x86_64-linux

GNATcoll 2012 for x86_64-linux

GtkAda 2.24.2 for x86_64-linux

PolyORB 2012 for x86_64-linux

SPARK GPL 2012 for x86_64-linux

XML/Ada 2012 for x86_64-linux

GNAT 2012 for x86_64-darwin

ASIS 2012 for x86_64-darwin

AUnit 2012 for x86_64-darwin

GNATcoll 2012 for x86_64-darwin

SPARK GPL 2012 for x86_64-darwin

XML/Ada 2012 for x86_64-darwin

GNAT 2012 for dotnet-windows

GNAT 2012 for jvm-windows

GNATbench 2.6.0 for jvm-windows

GNAT 2012 for mindstorms-nxt-windows

GNAT 2012 for avr-elf-windows

AUnit 2012 for avr-elf-windows

utils 2012 for avr-elf-windows

2013

GNAT 2013 for x86-windows

Sources

AJIS 2013 for x86-windows

Sources

ASIS 2013 for x86-windows

AUnit 2013 for x86-windows

AWS 2013 for x86-windows

GNATbench 2013 for x86-windows

Sources

GNATcoll 2013 for x86-windows

GtkAda 2013 for x86-windows

Sources

PolyORB 2013 for x86-windows

Sources

SPARK-HiLite GPL 2013 for x86-windows

Sources

Win32Ada 2013 for x86-windows

Sources

WPosix 2013 for x86-windows

XML/Ada 2013 for x86-windows

GNAT 2013 for x86-linux

Sources

AJIS 2013 for x86-linux

Sources

ASIS 2013 for x86-linux

AUnit 2013 for x86-linux

AWS 2013 for x86-linux

Florist 2013 for x86-linux

GNATbench 2013 for x86-linux

Sources

GNATcoll 2013 for x86-linux

GtkAda 2013 for x86-linux

Sources

PolyORB 2013 for x86-linux

SPARK-HiLite GPL 2013 for x86-linux

Sources

XML/Ada 2013 for x86-linux

GNAT 2013 for x86_64-linux

Sources

AJIS 2013 for x86_64-linux

Sources

ASIS 2013 for x86_64-linux

AUnit 2013 for x86_64-linux

AWS 2013 for x86_64-linux

Florist 2013 for x86_64-linux

GNATbench 2013 for x86_64-linux

Sources

GNATcoll 2013 for x86_64-linux

GtkAda 2013 for x86_64-linux

Sources

PolyORB 2013 for x86_64-linux

SPARK-HiLite GPL 2013 for x86_64-linux

Sources

XML/Ada 2013 for x86_64-linux

GNAT 2013 for x86_64-darwin

Sources

AJIS 2013 for x86_64-darwin

ASIS 2013 for x86_64-darwin

AUnit 2013 for x86_64-darwin

GNATcoll 2013 for x86_64-darwin

SPARK-HiLite GPL 2013 for x86_64-darwin

Sources

GNAT 2013 for dotnet-windows

Sources

GNAT 2013 for jvm-windows

Sources

GNATbench 2013 for jvm-windows

Sources

Bundle format:

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.

View chart »