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.

GNAT GPL 2013

GNAT GPL Ada GPL 2013 for x86-linux

Sources

PolyORB GPL 2013 for x86-linux

ASIS GPL 2013 for x86-linux

AJIS GPL 2013 for x86-linux

Sources

AUnit GPL 2013 for x86-linux

GNATcoll GPL 2013 for x86-linux

GtkAda GPL 2013 for x86-linux

Sources

XML/Ada GPL 2013 for x86-linux

Florist GPL 2013 for x86-linux

SPARK-HiLite GPL GPL 2013 for x86-linux

Sources

GNAT GPL Ada GPL 2013 for x86_64-linux

Sources

PolyORB GPL 2013 for x86_64-linux

ASIS GPL 2013 for x86_64-linux

AJIS GPL 2013 for x86_64-linux

Sources

AUnit GPL 2013 for x86_64-linux

GNATcoll GPL 2013 for x86_64-linux

GtkAda GPL 2013 for x86_64-linux

Sources

XML/Ada GPL 2013 for x86_64-linux

Florist GPL 2013 for x86_64-linux

SPARK-HiLite GPL GPL 2013 for x86_64-linux

Sources

GNAT GPL Ada GPL 2013 for x86-windows

Sources

PolyORB GPL 2013 for x86-windows

Sources

ASIS GPL 2013 for x86-windows

AJIS GPL 2013 for x86-windows

Sources

AUnit GPL 2013 for x86-windows

GNATcoll GPL 2013 for x86-windows

GtkAda GPL 2013 for x86-windows

Sources

XML/Ada GPL 2013 for x86-windows

Win32Ada GPL 2013 for x86-windows

Sources

SPARK-HiLite GPL GPL 2013 for x86-windows

Sources

GNAT GPL Ada GPL 2013 for dotnet-windows

Sources

GNAT GPL Ada GPL 2013 for jvm-windows

Sources

GNAT GPL Ada GPL 2013 for x86_64-darwin

Sources

ASIS GPL 2013 for x86_64-darwin

AJIS GPL 2013 for x86_64-darwin

AUnit GPL 2013 for x86_64-darwin

GNATcoll GPL 2013 for x86_64-darwin

SPARK-HiLite GPL GPL 2013 for x86_64-darwin

Sources

GNAT GPL 2012

GNAT GPL Ada GPL 2012 for x86-linux

SPARK GPL GPL 2012 for x86-linux

AWS GPL 2012 for x86-linux

PolyORB GPL 2012 for x86-linux

ASIS GPL 2012 for x86-linux

GNATbench 2.6.0 for x86-linux

AJIS GPL 2012 for x86-linux

AUnit GPL 2012 for x86-linux

GNATcoll GPL 2012 for x86-linux

GtkAda GPL 2.24.2 for x86-linux

XML/Ada GPL 2012 for x86-linux

Florist GPL 2012 for x86-linux

GNAT GPL Ada GPL 2012 for x86_64-linux

SPARK GPL GPL 2012 for x86_64-linux

AWS GPL 2012 for x86_64-linux

PolyORB GPL 2012 for x86_64-linux

ASIS GPL 2012 for x86_64-linux

GNATbench 2.6.0 for x86_64-linux

AJIS GPL 2012 for x86_64-linux

AUnit GPL 2012 for x86_64-linux

GNATcoll GPL 2012 for x86_64-linux

GtkAda GPL 2.24.2 for x86_64-linux

XML/Ada GPL 2012 for x86_64-linux

Florist GPL 2012 for x86_64-linux

GNAT GPL Ada GPL 2012 for x86-windows

SPARK GPL GPL 2012 for x86-windows

AWS GPL 2012 for x86-windows

PolyORB GPL 2012 for x86-windows

ASIS GPL 2012 for x86-windows

GNATbench 2.6.0 for x86-windows

AJIS GPL 2012 for x86-windows

AUnit GPL 2012 for x86-windows

GNATcoll GPL 2012 for x86-windows

GtkAda GPL 2.24.2 for x86-windows

XML/Ada GPL 2012 for x86-windows

WPosix GPL 2012 for x86-windows

Win32Ada GPL 2012 for x86-windows

GNAT GPL Ada GPL 2012 for dotnet-windows

GNAT GPL Ada GPL 2012 for jvm-windows

GNATbench 2.6.0 for jvm-windows

GNAT GPL Ada GPL 2012 for x86_64-darwin

SPARK GPL GPL 2012 for x86_64-darwin

ASIS GPL 2012 for x86_64-darwin

AUnit GPL 2012 for x86_64-darwin

GNATcoll GPL 2012 for x86_64-darwin

XML/Ada GPL 2012 for x86_64-darwin

GNAT GPL Ada GPL 2012 for avr-elf-windows

AUnit GPL 2012 for avr-elf-windows

Utils GPL 2012 for avr-elf-windows

GNAT GPL Ada GPL 2012 for mindstorms-nxt-windows

GNAT GPL 2011

GNAT GPL Ada GPL 2011 for x86-linux

SPARK GPL GPL 2011 for x86-linux

AWS GPL 2.10.0 for x86-linux

PolyORB GPL 2011 for x86-linux

ASIS GPL 2011 for x86-linux

GNATbench 2.5.1 for x86-linux

AJIS GPL 2011 for x86-linux

AUnit GPL 2011 for x86-linux

GNATcoll GPL 2011 for x86-linux

GtkAda GPL 2.18.0 for x86-linux

XML/Ada GPL 4.1 for x86-linux

Florist GPL 2011 for x86-linux

GNAT GPL Ada GPL 2011 for x86_64-linux

SPARK GPL GPL 2011 for x86_64-linux

AWS GPL 2.10.0 for x86_64-linux

PolyORB GPL 2011 for x86_64-linux

ASIS GPL 2011 for x86_64-linux

GNATbench 2.5.1 for x86_64-linux

AJIS GPL 2011 for x86_64-linux

AUnit GPL 2011 for x86_64-linux

GNATcoll GPL 2011 for x86_64-linux

GtkAda GPL 2.18.0 for x86_64-linux

XML/Ada GPL 4.1 for x86_64-linux

Florist GPL 2011 for x86_64-linux

GNAT GPL Ada GPL 2011 for x86-windows

SPARK GPL GPL 2011 for x86-windows

AWS GPL 2.10.0 for x86-windows

PolyORB GPL 2011 for x86-windows

ASIS GPL 2011 for x86-windows

GNATbench 2.5.1 for x86-windows

AJIS GPL 2011 for x86-windows

AUnit GPL 2011 for x86-windows

GNATcoll GPL 2011 for x86-windows

GtkAda GPL 2.18.0 for x86-windows

XML/Ada GPL 4.1 for x86-windows

WPosix GPL 2011 for x86-windows

Win32Ada GPL 2011 for x86-windows

GNAT GPL Ada GPL 2011 for dotnet-windows

GNAT GPL Ada GPL 2011 for jvm-windows

GNATbench 2.5.1 for jvm-windows

GNAT GPL Ada GPL 2011 for x86_64-darwin

SPARK GPL GPL 2011 for x86_64-darwin

ASIS GPL 2011 for x86_64-darwin

AUnit GPL 2011 for x86_64-darwin

GNATcoll GPL 2011 for x86_64-darwin

XML/Ada GPL 4.1 for x86_64-darwin

GNAT GPL Ada GPL 2011 for avr-elf-windows

Utils GPL 2011 for avr-elf-windows

GNAT GPL Ada GPL 2011 for mindstorms-nxt-windows

GNAT GPL 2010

GNAT GPL Ada GPL 2010 for x86-linux

SPARK GPL GPL 2010 for x86-linux

SPARK GPL GPL 2010-smt for x86-linux

AWS GPL 2.8.0 for x86-linux

PolyORB GPL 2010 for x86-linux

ASIS GPL 2010 for x86-linux

GNATbench 2.4.0 for x86-linux

AJIS GPL 2010 for x86-linux

AUnit GPL 2010 for x86-linux

GNATcoll GPL 2010 for x86-linux

GtkAda GPL 2.14.1 for x86-linux

XML/Ada GPL 3.2.1 for x86-linux

Florist GPL 2010 for x86-linux

GNAT GPL Ada GPL 2010 for x86_64-linux

SPARK GPL GPL 2010 for x86_64-linux

SPARK GPL GPL 2010-smt for x86_64-linux

AWS GPL 2.8.0 for x86_64-linux

PolyORB GPL 2010 for x86_64-linux

ASIS GPL 2010 for x86_64-linux

GNATbench 2.4.0 for x86_64-linux

AJIS GPL 2010 for x86_64-linux

AUnit GPL 2010 for x86_64-linux

GNATcoll GPL 2010 for x86_64-linux

GtkAda GPL 2.14.1 for x86_64-linux

XML/Ada GPL 3.2.1 for x86_64-linux

Florist GPL 2010 for x86_64-linux

GNAT GPL Ada GPL 2010 for x86-windows

SPARK GPL GPL 2010-smt for x86-windows

SPARK GPL GPL 2010 for x86-windows

AWS GPL 2.8.0 for x86-windows

PolyORB GPL 2010 for x86-windows

ASIS GPL 2010 for x86-windows

GNATbench 2.4.0 for x86-windows

AJIS GPL 2010 for x86-windows

AUnit GPL 2010 for x86-windows

GNATcoll GPL 2010 for x86-windows

GtkAda GPL 2.14.1 for x86-windows

XML/Ada GPL 3.2.1 for x86-windows

Win32Ada GPL 2010 for x86-windows

GNAT GPL Ada GPL 2010 for dotnet-windows

GNAT GPL Ada GPL 2010 for jvm-windows

GNATbench 2.4.0 for jvm-windows

GNAT GPL Ada GPL 2010 for x86_64-darwin

SPARK GPL GPL 2010-smt for x86_64-darwin

SPARK GPL GPL 2010 for x86_64-darwin

ASIS GPL 2010 for x86_64-darwin

AUnit GPL 2010 for x86_64-darwin

GNATcoll GPL 2010 for x86_64-darwin

XML/Ada GPL 3.2.1 for x86_64-darwin

GNAT GPL Ada GPL 2010 for avr-elf-windows

Utils GPL 2010 for avr-elf-windows

GNAT GPL Ada GPL 2010 for mindstorms-nxt-windows

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 »