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.

Select your platform:

Use the check boxes to download multiple files or click directly on the links to download individual files.
GNAT_GPL
README 716 B May 23, 2011
gnat-gpl-2011-i686-gnu-linux-libc2.3-bin.tar.gz 156 MB Apr 19, 2011
Sources
asis-gpl-2011-src.tgz 3.13 MB Apr 19, 2011
atk-1.32.0.tar.gz 952 KB Sep 27, 2010
binutils-2.20-gpl-2011-src.tgz 23.9 MB Apr 7, 2011
cairo-1.10.0.tar.gz 24.0 MB Sep 6, 2010
cups-1.4.4-src.tar.tgz 5.38 MB Nov 3, 2010
expat-2.0.1.tar.gz 446 KB Oct 16, 2007
fontconfig-2.8.0.tar.gz 1.55 MB Nov 18, 2009
freetype-2.4.1.tar.gz 1.90 MB Jul 18, 2010
gcc-4_5-branch-rev172703-src.tgz 46.7 MB Apr 19, 2011
gdb-7.2-gpl-2011-src.tgz 23.8 MB Apr 19, 2011
gdk-pixbuf-2.22.1.tar.gz 2.19 MB Nov 6, 2010
gettext-0.18.1.1.tar.gz 15.1 MB Jan 3, 2011
glib-2.26.1.tar.gz 9.55 MB Nov 14, 2010
gmp-4.2.2.tar.gz 2.28 MB Jun 15, 2009
gnalasup-gpl-2011-src.tgz 7.10 MB Mar 25, 2011
gnat-gpl-2011-src.tgz 9.73 MB Apr 19, 2011
gnatmem-gpl-2011-src.tgz 72.8 KB Mar 25, 2011
gprbuild-gpl-2011-src.tgz 2.12 MB Apr 19, 2011
gps-5.0.1-gpl-src.tgz 28.2 MB Jan 14, 2011
gtk+-2.22.1.tar.gz 27.1 MB Nov 15, 2010
gtkada-for-gps-5.0.1-gpl-src.tgz 8.23 MB Jan 12, 2011
jpegsrc.v6b.tar.gz 613 KB Jun 9, 2009
libgmon-2011-src.tgz 27.6 KB Mar 25, 2011
libiconv-1.13.tar.gz 4.73 MB May 25, 2009
libiconv-1.7.tar.gz 2.94 MB Jun 9, 2009
libpng-1.2.44.tar.gz 829 KB Jun 26, 2010
libXft-2.1.7.tar.gz 338 KB Jun 9, 2009
libXrender-0.9.0.tar.gz 309 KB Jun 9, 2009
mpc-0.8.tar.gz 542 KB Mar 31, 2011
mpfr-2.3.1.tar.gz 1.18 MB Jun 15, 2009
pango-1.28.3.tar.gz 2.12 MB Sep 29, 2010
pixman-0.20.0.tar.gz 537 KB Oct 27, 2010
pkg-config-0.20.tar.gz 970 KB Jun 9, 2009
pycairo-1.8.10.tar.gz 588 KB May 20, 2010
pycairo-1.8.8.tar.gz 476 KB Jun 5, 2010
pygobject-2.20.0.tar.gz 904 KB Jun 5, 2010
pygtk-2.16.0.tar.gz 3.08 MB Jun 5, 2010
Python-2.6.4.tgz 13.3 MB Jun 5, 2010
renderext-0.9.tar.gz 63.7 KB Jun 9, 2009
xmlada-for-gps-5.0.1-gpl-src.tgz 1.14 MB Jan 14, 2011
xmlada-gpl-4.1-src.tgz 1.13 MB Apr 19, 2011
zlib-1.2.5.tar.gz 545 KB Apr 20, 2010
AJIS
gnat-ajis-2011-i686-pc-linux-gnu-bin.tgz 3.92 MB Apr 21, 2011
Sources
gnat-ajis-2011-src.tgz 2.07 MB Apr 19, 2011
gnat-gpl-2011-src.tgz 9.73 MB Apr 19, 2011
ASIS
asis-gpl-2011-src.tgz 3.13 MB Apr 19, 2011
AUnit
README 814 B Nov 23, 2009
aunit-gpl-2011-src.tgz 337 KB Apr 19, 2011
AWS
aws-gpl-2.10.0-src.tgz 10.5 MB Apr 19, 2011
Florist
florist-gpl-2011-src.tgz 228 KB Apr 19, 2011
GNATbench
README 2.60 KB May 25, 2011
gnatbench-2.5.1-bin.zip 59.6 MB Jan 23, 2011
Sources
asis-for-gnatbench-2.5.1-src.tgz 3.07 MB Jan 23, 2011
binutils-2.20-for-gnatbench-2.5.1-src.tgz 23.9 MB Jan 10, 2011
gcc-4_5-branch-rev169140-src.tgz 46.6 MB Jan 23, 2011
gmp-4.2.2-src.tgz 2.31 MB Jan 10, 2011
gnat-ajis-for-gnatbench-2.5.1-src.tgz 2.06 MB Jan 23, 2011
gnat-for-gnatbench-2.5.1-src.tgz 9.83 MB Jan 23, 2011
gnatbench-2.5.1-src.tgz 21.2 MB Jan 23, 2011
mpc-0.8-src.tgz 548 KB Jan 10, 2011
mpfr-2.3.1-src.tgz 1.22 MB Jan 10, 2011
GNATcoll
gnatcoll-gpl-2011-src.tgz 2.07 MB Apr 19, 2011
GtkAda
README 2.46 KB May 25, 2011
gtk+-2.18.9-i686-pc-linux-gnu.tgz 14.4 MB Sep 22, 2010
gtkada-gpl-2.18.0-src.tgz 8.09 MB Apr 28, 2011
Sources
atk-1.28.0.tar.gz 1.03 MB Jun 5, 2010
cairo-1.8.10.tar.gz 7.10 MB Jun 5, 2010
expat-2.0.1.tar.gz 446 KB Oct 16, 2007
fontconfig-2.8.0.tar.gz 1.55 MB Nov 18, 2009
freetype-2.3.7.tar.gz 1.78 MB Jun 9, 2009
gettext-0.17.tar.gz 11.6 MB Jun 9, 2009
glade-2.0.0.tar.gz 2.71 MB May 16, 2003
glib-2.24.1.tar.gz 7.59 MB May 3, 2010
gtk+-2.18.9.tar.gz 26.8 MB Jun 5, 2010
jpegsrc.v6b.tar.gz 613 KB Jun 9, 2009
libiconv-1.7.tar.gz 2.94 MB Jun 9, 2009
libpng-1.2.8.tar.gz 511 KB Jun 9, 2009
libXft-2.1.7.tar.gz 338 KB Jun 9, 2009
libxml2-2.5.7.tar.gz 3.15 MB Jun 16, 2003
libXrender-0.9.0.tar.gz 309 KB Jun 9, 2009
pango-1.26.2.tar.gz 2.23 MB Jun 5, 2010
pixman-0.15.12.tar.gz 458 KB Jun 5, 2010
pkg-config-0.20.tar.gz 970 KB Jun 9, 2009
renderext-0.9.tar.gz 63.7 KB Jun 9, 2009
zlib-1.2.3.tar.gz 497 KB Jun 9, 2009
PolyORB
polyorb-gpl-2011-src.tgz 3.87 MB Apr 19, 2011
SPARK
README 292 B Jul 12, 2011
spark-gpl-2011-i686-pc-linux-gnu.tar.gz 29.8 MB Jul 12, 2011
Sources
spark-gpl-2011-src.tar.gz 4.14 MB Jul 12, 2011
XMLAda
xmlada-gpl-4.1-src.tgz 1.13 MB Apr 19, 2011

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.

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

Home | Download | Developers | Academia | Ada Answers | Tools | News | Contact

Privacy Policy