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 2014

GNAT Ada GPL 2014 for x86 GNU Linux (32 bits)

Sources

SPARK GPL 2014 for x86 GNU Linux (32 bits)

Sources

AWS GPL 3.2.0 for x86 GNU Linux (32 bits)

PolyORB GPL 2014 for x86 GNU Linux (32 bits)

ASIS GPL 2014 for x86 GNU Linux (32 bits)

GNATbench GPL 2014 for x86 GNU Linux (32 bits)

Sources

AJIS GPL 2014 for x86 GNU Linux (32 bits)

AUnit GPL 2014 for x86 GNU Linux (32 bits)

GNATcoll GPL 2014 for x86 GNU Linux (32 bits)

GtkAda GPL 2014 for x86 GNU Linux (32 bits)

Sources

XML/Ada GPL 2014 for x86 GNU Linux (32 bits)

Florist GPL 2014 for x86 GNU Linux (32 bits)

GNAT Ada GPL 2014 for x86-64 GNU Linux (64 bits)

Sources

SPARK GPL 2014 for x86-64 GNU Linux (64 bits)

Sources

AWS GPL 3.2.0 for x86-64 GNU Linux (64 bits)

PolyORB GPL 2014 for x86-64 GNU Linux (64 bits)

ASIS GPL 2014 for x86-64 GNU Linux (64 bits)

GNATbench GPL 2014 for x86-64 GNU Linux (64 bits)

Sources

AJIS GPL 2014 for x86-64 GNU Linux (64 bits)

AUnit GPL 2014 for x86-64 GNU Linux (64 bits)

GNATcoll GPL 2014 for x86-64 GNU Linux (64 bits)

GtkAda GPL 2014 for x86-64 GNU Linux (64 bits)

Sources

XML/Ada GPL 2014 for x86-64 GNU Linux (64 bits)

Florist GPL 2014 for x86-64 GNU Linux (64 bits)

GtkAda GPL 2014 for SPARC Solaris (32 bits)

Sources

GtkAda GPL 2014 for x86 Solaris/Trusted Solaris (32 bits)

Sources

GNAT Ada GPL 2014 for x86 Windows (32 bits)

Sources

SPARK GPL 2014 for x86 Windows (32 bits)

Sources

AWS GPL 3.2.0 for x86 Windows (32 bits)

PolyORB GPL 2014 for x86 Windows (32 bits)

Sources

ASIS GPL 2014 for x86 Windows (32 bits)

GNATbench GPL 2014 for x86 Windows (32 bits)

Sources

AJIS GPL 2014 for x86 Windows (32 bits)

Sources

AUnit GPL 2014 for x86 Windows (32 bits)

GNATcoll GPL 2014 for x86 Windows (32 bits)

GtkAda GPL 2014 for x86 Windows (32 bits)

Sources

XML/Ada GPL 2014 for x86 Windows (32 bits)

WPosix GPL 2014 for x86 Windows (32 bits)

Win32Ada GPL 2014 for x86 Windows (32 bits)

Sources

GNAT Ada GPL 2014 for .NET on Windows

Sources

GNAT Ada GPL 2014 for x86-64 Mac OS X (64 bits)

Sources

SPARK GPL 2014 for x86-64 Mac OS X (64 bits)

Sources

ASIS GPL 2014 for x86-64 Mac OS X (64 bits)

AJIS GPL 2014 for x86-64 Mac OS X (64 bits)

AUnit GPL 2014 for x86-64 Mac OS X (64 bits)

GNATcoll GPL 2014 for x86-64 Mac OS X (64 bits)

XML/Ada GPL 2014 for x86-64 Mac OS X (64 bits)

GNAT Ada GPL 2014 for ARM ELF format (hosted on Linux)

Sources

GNAT Ada GPL 2014 for ARM ELF format (hosted on Windows)

Sources

GNAT GPL 2013

GNAT Ada GPL 2013 for x86 GNU Linux (32 bits)

AWS GPL 2013 for x86 GNU Linux (32 bits)

PolyORB GPL 2013 for x86 GNU Linux (32 bits)

ASIS GPL 2013 for x86 GNU Linux (32 bits)

GNATbench GPL 2013 for x86 GNU Linux (32 bits)

AJIS GPL 2013 for x86 GNU Linux (32 bits)

AUnit GPL 2013 for x86 GNU Linux (32 bits)

GNATcoll GPL 2013 for x86 GNU Linux (32 bits)

GtkAda GPL 2013 for x86 GNU Linux (32 bits)

XML/Ada GPL 2013 for x86 GNU Linux (32 bits)

Florist GPL 2013 for x86 GNU Linux (32 bits)

SPARK-HiLite GPL 2013 for x86 GNU Linux (32 bits)

GNAT Ada GPL 2013 for x86-64 GNU Linux (64 bits)

AWS GPL 2013 for x86-64 GNU Linux (64 bits)

PolyORB GPL 2013 for x86-64 GNU Linux (64 bits)

ASIS GPL 2013 for x86-64 GNU Linux (64 bits)

GNATbench GPL 2013 for x86-64 GNU Linux (64 bits)

AJIS GPL 2013 for x86-64 GNU Linux (64 bits)

AUnit GPL 2013 for x86-64 GNU Linux (64 bits)

GNATcoll GPL 2013 for x86-64 GNU Linux (64 bits)

GtkAda GPL 2013 for x86-64 GNU Linux (64 bits)

XML/Ada GPL 2013 for x86-64 GNU Linux (64 bits)

Florist GPL 2013 for x86-64 GNU Linux (64 bits)

SPARK-HiLite GPL 2013 for x86-64 GNU Linux (64 bits)

GNAT Ada GPL 2013 for x86 Windows (32 bits)

AWS GPL 2013 for x86 Windows (32 bits)

PolyORB GPL 2013 for x86 Windows (32 bits)

ASIS GPL 2013 for x86 Windows (32 bits)

GNATbench GPL 2013 for x86 Windows (32 bits)

AJIS GPL 2013 for x86 Windows (32 bits)

AUnit GPL 2013 for x86 Windows (32 bits)

GNATcoll GPL 2013 for x86 Windows (32 bits)

GtkAda GPL 2013 for x86 Windows (32 bits)

XML/Ada GPL 2013 for x86 Windows (32 bits)

WPosix GPL 2013 for x86 Windows (32 bits)

Win32Ada GPL 2013 for x86 Windows (32 bits)

SPARK-HiLite GPL 2013 for x86 Windows (32 bits)

GNAT Ada GPL 2013 for .NET on Windows

GNAT Ada GPL 2013 for Java Virtual Machine on Windows

GNATbench GPL 2013 for Java Virtual Machine on Windows

GNAT Ada GPL 2013 for x86-64 Mac OS X (64 bits)

ASIS GPL 2013 for x86-64 Mac OS X (64 bits)

AJIS GPL 2013 for x86-64 Mac OS X (64 bits)

AUnit GPL 2013 for x86-64 Mac OS X (64 bits)

GNATcoll GPL 2013 for x86-64 Mac OS X (64 bits)

SPARK-HiLite GPL 2013 for x86-64 Mac OS X (64 bits)

GNAT GPL 2012

GNAT Ada GPL 2012 for x86 GNU Linux (32 bits)

SPARK GPL 2012 for x86 GNU Linux (32 bits)

AWS GPL 2012 for x86 GNU Linux (32 bits)

PolyORB GPL 2012 for x86 GNU Linux (32 bits)

ASIS GPL 2012 for x86 GNU Linux (32 bits)

GNATbench 2.6.0 for x86 GNU Linux (32 bits)

AJIS GPL 2012 for x86 GNU Linux (32 bits)

AUnit GPL 2012 for x86 GNU Linux (32 bits)

GNATcoll GPL 2012 for x86 GNU Linux (32 bits)

GtkAda GPL 2.24.2 for x86 GNU Linux (32 bits)

XML/Ada GPL 2012 for x86 GNU Linux (32 bits)

Florist GPL 2012 for x86 GNU Linux (32 bits)

GNAT Ada GPL 2012 for x86-64 GNU Linux (64 bits)

SPARK GPL 2012 for x86-64 GNU Linux (64 bits)

AWS GPL 2012 for x86-64 GNU Linux (64 bits)

PolyORB GPL 2012 for x86-64 GNU Linux (64 bits)

ASIS GPL 2012 for x86-64 GNU Linux (64 bits)

GNATbench 2.6.0 for x86-64 GNU Linux (64 bits)

AJIS GPL 2012 for x86-64 GNU Linux (64 bits)

AUnit GPL 2012 for x86-64 GNU Linux (64 bits)

GNATcoll GPL 2012 for x86-64 GNU Linux (64 bits)

GtkAda GPL 2.24.2 for x86-64 GNU Linux (64 bits)

XML/Ada GPL 2012 for x86-64 GNU Linux (64 bits)

Florist GPL 2012 for x86-64 GNU Linux (64 bits)

GNAT Ada GPL 2012 for x86 Windows (32 bits)

SPARK GPL 2012 for x86 Windows (32 bits)

AWS GPL 2012 for x86 Windows (32 bits)

PolyORB GPL 2012 for x86 Windows (32 bits)

ASIS GPL 2012 for x86 Windows (32 bits)

GNATbench 2.6.0 for x86 Windows (32 bits)

AJIS GPL 2012 for x86 Windows (32 bits)

AUnit GPL 2012 for x86 Windows (32 bits)

GNATcoll GPL 2012 for x86 Windows (32 bits)

GtkAda GPL 2.24.2 for x86 Windows (32 bits)

XML/Ada GPL 2012 for x86 Windows (32 bits)

WPosix GPL 2012 for x86 Windows (32 bits)

Win32Ada GPL 2012 for x86 Windows (32 bits)

GNAT Ada GPL 2012 for .NET on Windows

GNAT Ada GPL 2012 for Java Virtual Machine on Windows

GNATbench 2.6.0 for Java Virtual Machine on Windows

GNAT Ada GPL 2012 for x86-64 Mac OS X (64 bits)

SPARK GPL 2012 for x86-64 Mac OS X (64 bits)

ASIS GPL 2012 for x86-64 Mac OS X (64 bits)

AUnit GPL 2012 for x86-64 Mac OS X (64 bits)

GNATcoll GPL 2012 for x86-64 Mac OS X (64 bits)

XML/Ada GPL 2012 for x86-64 Mac OS X (64 bits)

GNAT Ada GPL 2012 for AVR microcontroller ELF format (hosted on Windows)

AUnit GPL 2012 for AVR microcontroller ELF format (hosted on Windows)

Utils GPL 2012 for AVR microcontroller ELF format (hosted on Windows)

GNAT Ada GPL 2012 for LEGO Mindstorms NXT (hosted on Windows)

GNAT GPL 2011

GNAT Ada GPL 2011 for x86 GNU Linux (32 bits)

SPARK GPL 2011 for x86 GNU Linux (32 bits)

AWS GPL 2.10.0 for x86 GNU Linux (32 bits)

PolyORB GPL 2011 for x86 GNU Linux (32 bits)

ASIS GPL 2011 for x86 GNU Linux (32 bits)

GNATbench 2.5.1 for x86 GNU Linux (32 bits)

AJIS GPL 2011 for x86 GNU Linux (32 bits)

AUnit GPL 2011 for x86 GNU Linux (32 bits)

GNATcoll GPL 2011 for x86 GNU Linux (32 bits)

GtkAda GPL 2.18.0 for x86 GNU Linux (32 bits)

XML/Ada GPL 4.1 for x86 GNU Linux (32 bits)

Florist GPL 2011 for x86 GNU Linux (32 bits)

GNAT Ada GPL 2011 for x86-64 GNU Linux (64 bits)

SPARK GPL 2011 for x86-64 GNU Linux (64 bits)

AWS GPL 2.10.0 for x86-64 GNU Linux (64 bits)

PolyORB GPL 2011 for x86-64 GNU Linux (64 bits)

ASIS GPL 2011 for x86-64 GNU Linux (64 bits)

GNATbench 2.5.1 for x86-64 GNU Linux (64 bits)

AJIS GPL 2011 for x86-64 GNU Linux (64 bits)

AUnit GPL 2011 for x86-64 GNU Linux (64 bits)

GNATcoll GPL 2011 for x86-64 GNU Linux (64 bits)

GtkAda GPL 2.18.0 for x86-64 GNU Linux (64 bits)

XML/Ada GPL 4.1 for x86-64 GNU Linux (64 bits)

Florist GPL 2011 for x86-64 GNU Linux (64 bits)

GNAT Ada GPL 2011 for x86 Windows (32 bits)

SPARK GPL 2011 for x86 Windows (32 bits)

AWS GPL 2.10.0 for x86 Windows (32 bits)

PolyORB GPL 2011 for x86 Windows (32 bits)

ASIS GPL 2011 for x86 Windows (32 bits)

GNATbench 2.5.1 for x86 Windows (32 bits)

AJIS GPL 2011 for x86 Windows (32 bits)

AUnit GPL 2011 for x86 Windows (32 bits)

GNATcoll GPL 2011 for x86 Windows (32 bits)

GtkAda GPL 2.18.0 for x86 Windows (32 bits)

XML/Ada GPL 4.1 for x86 Windows (32 bits)

WPosix GPL 2011 for x86 Windows (32 bits)

Win32Ada GPL 2011 for x86 Windows (32 bits)

GNAT Ada GPL 2011 for .NET on Windows

GNAT Ada GPL 2011 for Java Virtual Machine on Windows

GNATbench 2.5.1 for Java Virtual Machine on Windows

GNAT Ada GPL 2011 for x86-64 Mac OS X (64 bits)

SPARK GPL 2011 for x86-64 Mac OS X (64 bits)

ASIS GPL 2011 for x86-64 Mac OS X (64 bits)

AUnit GPL 2011 for x86-64 Mac OS X (64 bits)

GNATcoll GPL 2011 for x86-64 Mac OS X (64 bits)

XML/Ada GPL 4.1 for x86-64 Mac OS X (64 bits)

GNAT Ada GPL 2011 for AVR microcontroller ELF format (hosted on Windows)

Utils GPL 2011 for AVR microcontroller ELF format (hosted on Windows)

GNAT Ada GPL 2011 for LEGO Mindstorms NXT (hosted on 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 »