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

AJIS 2013 for x86-windows

gnat-ajis-gpl-2013-i686-pc-mingw32-bin.exe 2.88 MB Apr 18, 2013

Sources

gnat-ajis-gpl-2013-src.tgz 2.10 MB Mar 19, 2013

gnat-gpl-2013-src.tgz 10.1 MB Apr 17, 2013

ASIS 2013 for x86-windows

asis-gpl-2013-src.tgz 4.73 MB Apr 16, 2013

AUnit 2013 for x86-windows

README.txt 291 B Apr 30, 2013

AWS 2013 for x86-windows

aws-gpl-3.1.0-src.tgz 10.1 MB Mar 19, 2013

GNATcoll 2013 for x86-windows

README.txt 212 B May 30, 2013

gnatcoll-gpl-2013-src.tgz 5.18 MB Apr 3, 2013

PolyORB 2013 for x86-windows

polyorb-for-gnat-2013.exe 43.1 MB Apr 22, 2013

Sources

polyorb-gpl-2013-src.tgz 3.13 MB Apr 11, 2013

SPARK-HiLite GPL 2013 for x86-windows

README.txt 1.24 KB Jun 11, 2013

spark-hi-lite-gpl-2013-i686-pc-mingw32-bin.exe 18.2 MB May 24, 2013

Sources

alt-ergo-gpl-2013-src.tgz 399 KB May 16, 2013

spark-hilite-gpl-2013-src.tgz 11.8 MB May 24, 2013

why3-gpl-2013-src.tgz 4.23 MB May 16, 2013

Win32Ada 2013 for x86-windows

win32ada-gpl-2013.exe 745 KB Apr 29, 2013

Sources

win32ada-2013-src.tgz 499 KB Mar 19, 2013

WPosix 2013 for x86-windows

wposix-gpl-1.0-src.tgz 63.2 KB May 10, 2012

XML/Ada 2013 for x86-windows

README.txt 449 B May 24, 2013

AJIS 2013 for x86-linux

gnat-ajis-gpl-2013-i686-pc-linux-gnu-bin.tar.gz 4.27 MB Apr 17, 2013

Sources

gnat-ajis-gpl-2013-src.tgz 2.10 MB Mar 19, 2013

gnat-gpl-2013-src.tgz 10.1 MB Apr 17, 2013

ASIS 2013 for x86-linux

asis-gpl-2013-src.tgz 4.73 MB Apr 16, 2013

AUnit 2013 for x86-linux

README 284 B Apr 30, 2013

AWS 2013 for x86-linux

aws-gpl-3.1.0-src.tgz 10.1 MB Mar 19, 2013

Florist 2013 for x86-linux

florist-gpl-2013-src.tgz 249 KB Mar 19, 2013

GNATcoll 2013 for x86-linux

README 206 B May 30, 2013

gnatcoll-gpl-2013-src.tgz 5.18 MB Apr 3, 2013

PolyORB 2013 for x86-linux

polyorb-gpl-2013-src.tgz 3.13 MB Apr 11, 2013

SPARK-HiLite GPL 2013 for x86-linux

README 1.21 KB Jun 11, 2013

spark-hi-lite-gpl-2013-i686-pc-linux-gnu-bin.tar.gz 34.4 MB May 24, 2013

Sources

alt-ergo-gpl-2013-src.tgz 399 KB May 16, 2013

spark-hilite-gpl-2013-src.tgz 11.8 MB May 24, 2013

why3-gpl-2013-src.tgz 4.23 MB May 16, 2013

XML/Ada 2013 for x86-linux

README 436 B May 24, 2013

AJIS 2013 for x86_64-linux

gnat-ajis-gpl-2013-x86_64-pc-linux-gnu-bin.tar.gz 4.38 MB Apr 17, 2013

Sources

gnat-ajis-gpl-2013-src.tgz 2.10 MB Mar 19, 2013

gnat-gpl-2013-src.tgz 10.1 MB Apr 17, 2013

ASIS 2013 for x86_64-linux

asis-gpl-2013-src.tgz 4.73 MB Apr 16, 2013

AUnit 2013 for x86_64-linux

README 284 B Apr 30, 2013

AWS 2013 for x86_64-linux

aws-gpl-3.1.0-src.tgz 10.1 MB Mar 19, 2013

Florist 2013 for x86_64-linux

florist-gpl-2013-src.tgz 249 KB Mar 19, 2013

GNATcoll 2013 for x86_64-linux

README 206 B May 30, 2013

gnatcoll-gpl-2013-src.tgz 5.18 MB Apr 3, 2013

PolyORB 2013 for x86_64-linux

polyorb-gpl-2013-src.tgz 3.13 MB Apr 11, 2013

SPARK-HiLite GPL 2013 for x86_64-linux

README 1.21 KB Jun 11, 2013

spark-hi-lite-gpl-2013-x86_64-pc-linux-gnu-bin.tar.gz 35.7 MB May 24, 2013

Sources

alt-ergo-gpl-2013-src.tgz 399 KB May 16, 2013

spark-hilite-gpl-2013-src.tgz 11.8 MB May 24, 2013

why3-gpl-2013-src.tgz 4.23 MB May 16, 2013

XML/Ada 2013 for x86_64-linux

README 436 B May 24, 2013

AJIS 2013 for x86_64-darwin

gnat-ajis-gpl-2013-x86_64-apple-darwin12.2.0-bin.tar.gz 3.67 MB Apr 17, 2013

Sources

gnat-ajis-gpl-2013-src.tgz 2.10 MB Mar 19, 2013

gnat-gpl-2013-src.tgz 10.1 MB Apr 17, 2013

ASIS 2013 for x86_64-darwin

asis-gpl-2013-src.tgz 4.73 MB Apr 16, 2013

AUnit 2013 for x86_64-darwin

README 284 B Apr 30, 2013

GNATcoll 2013 for x86_64-darwin

README 206 B May 30, 2013

gnatcoll-gpl-2013-src.tgz 5.18 MB Apr 3, 2013

SPARK-HiLite GPL 2013 for x86_64-darwin

README 1.21 KB Jun 11, 2013

spark-hi-lite-gpl-2013-x86_64-apple-darwin12.2.0-bin.tar.gz 33.0 MB May 24, 2013

Sources

alt-ergo-gpl-2013-src.tgz 399 KB May 16, 2013

spark-hilite-gpl-2013-src.tgz 11.8 MB May 24, 2013

why3-gpl-2013-src.tgz 4.23 MB May 16, 2013

Bundle format: zip tar

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 »

Libre

AdaCore

Download GNAT GPL and SPARK GPL Editions

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