GNAT Community Archives

This repo provides links to the archives of the discontinued GNAT Community toolchain. For new non-industrial projects, we recommend the use of community-provided tools, starting with the Alire package manager.

GNAT COMMUNITY 2021

GNAT Community ARM ELF (32 bits) (hosted on linux)

• gnat-2021-20210519-arm-elf-linux64-bin (sources)
• README.txt

GNAT Community ARM ELF (32 bits) (hosted on windows)

• gnat-2021-20210519-arm-elf-windows64-bin.exe (sources)
• README.txt

GNAT Community RISC-V ELF (32 bits) (hosted on linux64)

• gnat-2021-20210519-riscv32-elf-linux64-bin (sources)
• README.txt

GNAT Community RISC-V ELF (64 bits) (hosted on linux64)

• gnat-2021-20210519-riscv64-elf-linux64-bin (sources)
• README.txt

GNAT Community x86 GNU Linux (64 bits)

• gnat-2021-20210519-x86_64-linux-bin (sources)
• README.txt

GtkAda x86 GNU Linux (64 bits)

• gtkada-2021-x86_64-linux-bin.tar.gz (sources)

GNAT Community x86 Windows (64 bits)

• gnat-2021-20210519-x86_64-windows64-bin.exe (sources)
• README.txt

GtkAda x86 Windows (64 bits)

• gtkada-2021-x86_64-windows64-bin.exe (sources)

GNAT COMMUNITY 2020

GNAT Community ARM ELF (32 bits) (hosted on linux)

• gnat-2020-20200818-arm-elf-linux64-bin (sources)
• README.txt

GNAT Community ARM ELF (32 bits) (hosted on windows)

• gnat-2020-20200818-arm-elf-windows64-bin.exe (sources)
• README.txt

GNAT Community RISC-V ELF (32 bits) (hosted on linux64)

• gnat-2020-20200818-riscv32-elf-linux64-bin (sources)
• README.txt

GNAT Community RISC-V ELF (64 bits) (hosted on linux64)

• gnat-2020-20200818-riscv64-elf-linux64-bin (sources)
• README.txt

GNAT Community x86 GNU Linux (64 bits)

• gnat-2020-20200818-x86_64-linux-bin (sources)
• README.txt

GtkAda x86 GNU Linux (64 bits)

• gtkada-2020-x86_64-linux-bin.tar.gz (sources)

GNAT Community x86 Windows (64 bits)

• gnat-2020-20200818-x86_64-windows-bin.exe (sources)
• README.txt

GtkAda x86 Windows (64 bits)

• gtkada-2020-x86_64-windows-bin.exe (sources)

GNAT Community x86 Mac OS X (64 bits)

• gnat-2020-20200818-x86_64-darwin-bin.dmg (sources)
• README.txt

GNAT COMMUNITY 2019

GNAT Community ARM ELF (32 bits) (hosted on linux)

• gnat-community-2019-20190517-arm-elf-linux64-bin (sources)
• README.txt

GNAT Community ARM ELF (32 bits) (hosted on windows)

• gnat-community-2019-20190517-arm-elf-windows64-bin.exe (sources)
• README.txt

GNAT Community RISC-V ELF (32 bits) (hosted on linux64)

• gnat-community-2019-20190517-riscv32-elf-linux64-bin (sources)
• README.txt

GNAT Community x86 GNU Linux (64 bits)

• gnat-community-2019-20190517-x86_64-linux-bin (sources)
• README.txt

GtkAda x86 GNU Linux (64 bits)

• gtkada-community-2019-20190523-x86_64-linux-bin.tar.gz (sources)

GNAT Community x86 Windows (64 bits)

• gnat-community-2019-20190517-x86_64-windows-bin.exe (sources)
• README.txt

GtkAda x86 Windows (64 bits)

• gtkada-community-2019-20190523-x86_64-windows-bin.exe (sources)

GNAT Community x86 Mac OS X (64 bits)

• gnat-community-2019-20190517-x86_64-darwin-bin.dmg (sources)
• README.txt

GNAT Community ARM ELF (32 bits) (hosted on darwin)

• gnat-community-2019-20190517-arm-elf-darwin-bin.dmg (sources)
• README.txt

GNAT COMMUNITY 2018

GNAT Community ARM ELF (32 bits) (hosted on linux)

• gnat-community-2018-20180524-arm-elf-linux64-bin (sources)
• README.txt

GNAT Community ARM ELF (32 bits) (hosted on windows)

• gnat-community-2018-20180523-arm-elf-windows64-bin.exe (sources)
• README.txt

GNAT Community RISC-V ELF (32 bits) (hosted on linux64)

• gnat-community-2018-20180524-riscv32-elf-linux64-bin (sources)
• README.txt

GNAT Community x86 GNU Linux (64 bits)

• gnat-community-2018-20180528-x86_64-linux-bin (sources)
• README.txt

GtkAda x86 GNU Linux (64 bits)

• gtkada-community-2018-20180523-x86_64-linux-bin.tar.gz (sources)

GNAT Community x86 Windows (64 bits)

• gnat-community-2018-20180611-x86_64-windows-bin.exe (sources)
• README.txt

GtkAda x86 Windows (64 bits)

• gtkada-community-2018-20180523-x86_64-windows-bin.exe (sources)

GNAT Community x86 Mac OS X (64 bits)

• gnat-community-2018-20180523-x86_64-darwin-bin.dmg (sources)
• README.txt

GNAT Community ARM ELF (32 bits) (hosted on darwin)

• gnat-community-2018-20180523-arm-elf-darwin-bin.dmg (sources)
• README.txt

GNAT GPL 2017

GNAT GPL Ada ARM ELF (32 bits) (hosted on linux)

• gnat-gpl-2017-arm-elf-linux-bin.tar.gz (sources)
• README.txt

GNAT GPL Ada ARM ELF (32 bits) (hosted on windows)

• gnat-gpl-2017-arm-elf-windows-bin.exe (sources)
• README.txt

GtkAda x86 GNU Linux (64 bits)

• gtkada-gpl-2017-x86_64-linux-bin.tar.gz (sources)
• README.txt

GNAT GPL Ada x86 GNU Linux (64 bits)

• gnat-gpl-2017-x86_64-linux-bin.tar.gz (sources)
• README.txt

GPRbuild x86 GNU Linux (64 bits)

• gprbuild-gpl-2017-x86_64-linux-bin.tar.gz (sources)
• README.txt

SPARK Discovery x86 GNU Linux (64 bits)

• spark-discovery-gpl-2017-x86_64-linux-bin.tar.gz (sources)

GNAT GPL Ada x86 Mac OS X (64 bits)

• gnat-gpl-2017-x86_64-darwin-bin.tar.gz (sources)
• README.txt

GPRbuild x86 Mac OS X (64 bits)

• gprbuild-gpl-2017-x86_64-darwin-bin.tar.gz (sources)
• README.txt

SPARK Discovery x86 Mac OS X (64 bits)

• spark-discovery-gpl-2017-x86_64-darwin-bin.tar.gz (sources)

GtkAda x86 Windows (32 bits)

• gtkada-gpl-2017-x86-windows-bin.exe (sources)
• README.txt

GNAT GPL Ada x86 Windows (32 bits)

• gnat-gpl-2017-x86-windows-bin.exe (sources)
• README.txt

GPRbuild x86 Windows (32 bits)

• gprbuild-gpl-2017-x86-windows-bin.exe (sources)
• README.txt

SPARK Discovery x86 Windows (32 bits)

• spark-discovery-gpl-2017-x86-windows-bin.exe (sources)
• README.txt

Win32Ada x86 Windows (32 bits)

• win32ada-gpl-2017-x86-windows-bin.exe (sources)

GNAT GPL 2016

GNAT GPL Ada ARM ELF (32 bits) (hosted on linux)

• gnat-gpl-2016-arm-elf-linux-bin.tar.gz (sources)
• README.txt

GNAT GPL Ada ARM ELF (32 bits) (hosted on windows)

• gnat-gpl-2016-arm-elf-windows-bin.exe (sources)
• README.txt

GtkAda x86 GNU Linux (64 bits)

• gtkada-gpl-2016-x86_64-linux-bin.tar.gz (sources)
• README.txt

GNAT GPL Ada x86 GNU Linux (64 bits)

• gnat-gpl-2016-x86_64-linux-bin.tar.gz (sources)
• README.txt

GPRbuild x86 GNU Linux (64 bits)

• gprbuild-gpl-2016-x86_64-linux-bin.tar.gz (sources)
• README.txt

SPARK GPL x86 GNU Linux (64 bits)

• spark-gpl-2016-x86_64-linux-bin.tar.gz (sources)

GNAT GPL Ada x86 Mac OS X (64 bits)

• gnat-gpl-2016-x86_64-darwin-bin.tar.gz (sources)
• README.txt

GPRbuild x86 Mac OS X (64 bits)

• gprbuild-gpl-2016-x86_64-darwin-bin.tar.gz (sources)
• README.txt

SPARK GPL x86 Mac OS X (64 bits)

• spark-gpl-2016-x86_64-darwin-bin.tar.gz (sources)

GtkAda x86 Windows (32 bits)

• gtkada-gpl-2016-x86-windows-bin.exe (sources)
• README.txt

GNAT GPL Ada x86 Windows (32 bits)

• gnat-gpl-2016-x86-windows-bin.exe (sources)
• README.txt

GPRbuild x86 Windows (32 bits)

• gprbuild-gpl-2016-x86-windows-bin.exe (sources)
• README.txt

Win32Ada x86 Windows (32 bits)

• win32ada-gpl-2016-x86-windows-bin.exe (sources)

SPARK GPL x86 Windows (32 bits)

• spark-gpl-2016-x86-windows-bin.exe (sources)

GNAT GPL Ada Raspberry Pi 2 Linux (32 bits) (hosted on linux)

• gnat-gpl-2016-raspberrypi-linux-linux-bin.tar.gz (sources)
• README.txt

GNAT GPL 2015

GNAT GPL Ada ARM ELF (32 bits) (hosted on linux)

• gnat-gpl-2015-arm-elf-linux-bin.tar.gz (sources)
• README.txt

GNAT GPL Ada ARM ELF (32 bits) (hosted on windows)

• gnat-gpl-2015-arm-elf-windows-bin.exe (sources)
• README.txt

GtkAda x86 GNU Linux (64 bits)

• gtk-3.8.4-x86_64-linux-bin.tar.gz (sources)
• README.txt

GNAT GPL Ada x86 GNU Linux (64 bits)

• gnat-gpl-2015-x86_64-linux-bin.tar.gz (sources)
• README.txt

SPARK GPL x86 GNU Linux (64 bits)

• spark-gpl-2015-x86_64-linux-bin.tar.gz (sources)
• README.txt

AJIS x86 GNU Linux (64 bits)

• README.txt

ASIS x86 GNU Linux (64 bits)

• README.txt

AUnit x86 GNU Linux (64 bits)

• README.txt

AWS x86 GNU Linux (64 bits)

• aws-gpl-2015-src.tar.gz

Florist x86 GNU Linux (64 bits)

• florist-gpl-2015-src.tar.gz

GNATbench x86 GNU Linux (64 bits)

• README.txt

PolyORB x86 GNU Linux (64 bits)

• README.txt

XML/Ada x86 GNU Linux (64 bits)

• README.txt

GNAT GPL Ada x86 Mac OS X (64 bits)

• gnat-gpl-2015-x86_64-darwin-bin.tar.gz (sources)
• README.txt

SPARK GPL x86 Mac OS X (64 bits)

• spark-gpl-2015-x86_64-darwin-bin.tar.gz (sources)
• README.txt

AJIS x86 Mac OS X (64 bits)

• README.txt

ASIS x86 Mac OS X (64 bits)

• README.txt

AUnit x86 Mac OS X (64 bits)

• README.txt

GNATbench x86 Mac OS X (64 bits)

• README.txt

XML/Ada x86 Mac OS X (64 bits)

• README.txt

GtkAda x86 Windows (32 bits)

• gtkada-gpl-2015-x86-windows-bin.exe (sources)
• gtk-3.8.4-x86-windows-bin.tar.gz (sources)
• README.txt

GNAT GPL Ada x86 Windows (32 bits)

• gnat-gpl-2015-x86-windows-bin.exe (sources)
• README.txt

Win32Ada x86 Windows (32 bits)

• win32ada-gpl-2015.exe (sources)

SPARK GPL x86 Windows (32 bits)

• spark-gpl-2015-x86-windows-bin.exe (sources)
• README.txt

AJIS x86 Windows (32 bits)

• README.txt

ASIS x86 Windows (32 bits)

• README.txt

AUnit x86 Windows (32 bits)

• README.txt

AWS x86 Windows (32 bits)

• aws-gpl-2015-src.tar.gz

GNATbench x86 Windows (32 bits)

• README.txt

PolyORB x86 Windows (32 bits)

• README.txt

WPosix x86 Windows (32 bits)

• wposix-gpl-2015-src.tar.gz

XML/Ada x86 Windows (32 bits)

• README.txt

GNAT GPL Ada Raspberry Pi 2 Linux (32 bits) (hosted on linux)

• gnat-gpl-2015-raspberrypi-linux-linux-bin.tar.gz (sources)
• README.txt

GNAT GPL 2014

GNAT GPL Ada ARM ELF (32 bits) (hosted on linux)

• gnat-gpl-2014-arm-elf-linux-bin.tar.gz (sources)
• README.txt

GNAT GPL Ada ARM ELF (32 bits) (hosted on windows)

• gnat-gpl-2014-arm-elf-windows-bin.exe (sources)
• README.txt

GtkAda x86 GNU Linux (64 bits)

• gtk+-3.8.4-x86_64-pc-linux-gnu.tgz (sources)
• gtkada-gpl-3.8.2-src.tgz (sources)
• README.txt

GNAT GPL Ada x86 GNU Linux (64 bits)

• gnat-gpl-2014-x86_64-linux-bin.tar.gz (sources)
• README.txt

SPARK GPL x86 GNU Linux (64 bits)

• spark-gpl-2014-x86_64-linux-bin.tar.gz (sources)
• README.txt

AJIS x86 GNU Linux (64 bits)

• gnat-ajis-gpl-2014-x86_64-linux-bin.tar.gz (sources)

AUnit x86 GNU Linux (64 bits)

• README.txt

AWS x86 GNU Linux (64 bits)

• aws-gpl-3.2.0-src.tar.gz

Florist x86 GNU Linux (64 bits)

• florist-gpl-2014-src.tar.gz

GNATbench x86 GNU Linux (64 bits)

• gnatbench-2.8.1-bin.zip (sources)
• README.txt

PolyORB x86 GNU Linux (64 bits)

• polyorb-gpl-2014-src.tar.gz

XML/Ada x86 GNU Linux (64 bits)

• README.txt

GNAT GPL Ada x86 Mac OS X (64 bits)

• gnat-gpl-2014-x86_64-darwin-bin.tar.gz (sources)
• README.txt

SPARK GPL x86 Mac OS X (64 bits)

• spark-gpl-2014-x86_64-darwin-bin.tar.gz (sources)
• README.txt

AJIS x86 Mac OS X (64 bits)

• gnat-ajis-gpl-2014-x86_64-darwin-bin.tar.gz (sources)

AUnit x86 Mac OS X (64 bits)

• README.txt

XML/Ada x86 Mac OS X (64 bits)

• README.txt

GtkAda x86 Windows (32 bits)

• gtkada-gpl-3.8.2-nt.exe (sources)
• README.txt

GNAT GPL Ada x86 Windows (32 bits)

• gnat-gpl-2014-x86-windows-bin.exe (sources)
• README.txt

Win32Ada x86 Windows (32 bits)

• win32ada-gpl-2014.exe (sources)

SPARK GPL x86 Windows (32 bits)

• spark-gpl-2014-x86-windows-bin.exe (sources)
• README.txt

AJIS x86 Windows (32 bits)

• gnat-ajis-gpl-2014-x86-windows-bin.exe (sources)

AUnit x86 Windows (32 bits)

• README.txt

AWS x86 Windows (32 bits)

• aws-gpl-3.2.0-src.tar.gz

GNATbench x86 Windows (32 bits)

• gnatbench-2.8.1-bin.zip (sources)
• README.txt

PolyORB x86 Windows (32 bits)

• polyorb-for-gnat-gpl-2014-1.exe (sources)

WPosix x86 Windows (32 bits)

• wposix-gpl-1.2-src.tar.gz

XML/Ada x86 Windows (32 bits)

• README.txt

GtkAda x86 GNU Linux (32 bits)

• gtk+-3.8.4-i686-pc-linux-gnu.tgz (sources)
• gtkada-gpl-3.8.2-src.tgz (sources)
• README.txt

GNAT GPL Ada x86 GNU Linux (32 bits)

• gnat-gpl-2014-x86-linux-bin.tar.gz (sources)
• README.txt

SPARK GPL x86 GNU Linux (32 bits)

• spark-gpl-2014-x86-linux-bin.tar.gz (sources)
• README.txt

AJIS x86 GNU Linux (32 bits)

• gnat-ajis-gpl-2014-x86-linux-bin.tar.gz (sources)

AUnit x86 GNU Linux (32 bits)

• README.txt

AWS x86 GNU Linux (32 bits)

• aws-gpl-3.2.0-src.tar.gz

Florist x86 GNU Linux (32 bits)

• florist-gpl-2014-src.tar.gz

GNATbench x86 GNU Linux (32 bits)

• gnatbench-2.8.1-bin.zip (sources)
• README.txt

PolyORB x86 GNU Linux (32 bits)

• polyorb-gpl-2014-src.tar.gz

XML/Ada x86 GNU Linux (32 bits)

• README.txt

GNAT GPL Ada .NET on Windows

• gnat-gpl-2014-dotnet-windows-bin.exe (sources)
• README.txt

GNAT GPL 2011

GtkAda x86 GNU Linux (64 bits)

• gtk+-2.18.9-x86_64-pc-linux-gnu.tgz (sources)
• README

GNAT GPL Ada x86 GNU Linux (64 bits)

• gnat-gpl-2011-x86_64-pc-linux-gnu-bin.tar.gz (sources)
• README

SPARK GPL x86 GNU Linux (64 bits)

• spark-gpl-2011-x86_64-pc-linux-gnu.tar.gz (sources)
• README

AJIS x86 GNU Linux (64 bits)

• gnat-ajis-2011-x86_64-pc-linux-gnu-bin.tgz (sources)

AUnit x86 GNU Linux (64 bits)

• README

AWS x86 GNU Linux (64 bits)

• aws-gpl-2.10.0-src.tgz

Florist x86 GNU Linux (64 bits)

• florist-gpl-2011-src.tgz

GNATbench x86 GNU Linux (64 bits)

• gnatbench-2.5.1-bin.zip (sources)
• README

PolyORB x86 GNU Linux (64 bits)

• polyorb-gpl-2011-src.tgz

GNAT GPL Ada x86 Mac OS X (64 bits)

• gnat-gpl-2011-x86_64-apple-darwin10.2.0-bin.tar.gz (sources)
• README

SPARK GPL x86 Mac OS X (64 bits)

• spark-gpl-2011-x86_64-apple-darwin10.2.0.tar.gz (sources)
• README

AUnit x86 Mac OS X (64 bits)

• README

GtkAda x86 Windows (32 bits)

• gtkada-gpl-2.18.0-nt.exe (sources)
• README.txt

GNAT GPL Ada x86 Windows (32 bits)

• gnat-gpl-2011-i686-pc-mingw32-bin.exe (sources)
• README.txt

Win32Ada x86 Windows (32 bits)

• win32ada-gpl-2011.exe

SPARK GPL x86 Windows (32 bits)

• spark-gpl-2011-i686-pc-mingw32.exe (sources)
• README.txt

AJIS x86 Windows (32 bits)

• gnat-ajis-2011-1-i686-pc-mingw32-bin.exe (sources)

AUnit x86 Windows (32 bits)

• aunit-gpl-2011-i686-pc-mingw32.exe (sources)
• README.txt

AWS x86 Windows (32 bits)

• aws-gpl-2.10.0-src.tgz

GNATbench x86 Windows (32 bits)

• gnatbench-2.5.1-bin.zip (sources)
• README.txt

PolyORB x86 Windows (32 bits)

• polyorb-gpl-2011-src.tgz

WPosix x86 Windows (32 bits)

• wposix-gpl-1.0-src.tgz

GtkAda x86 GNU Linux (32 bits)

• gtk+-2.18.9-i686-pc-linux-gnu.tgz (sources)
• README

GNAT GPL Ada x86 GNU Linux (32 bits)

• gnat-gpl-2011-i686-gnu-linux-libc2.3-bin.tar.gz (sources)
• README

SPARK GPL x86 GNU Linux (32 bits)

• spark-gpl-2011-i686-pc-linux-gnu.tar.gz (sources)
• README

AJIS x86 GNU Linux (32 bits)

• gnat-ajis-2011-i686-pc-linux-gnu-bin.tgz (sources)

AUnit x86 GNU Linux (32 bits)

• README

AWS x86 GNU Linux (32 bits)

• aws-gpl-2.10.0-src.tgz

Florist x86 GNU Linux (32 bits)

• florist-gpl-2011-src.tgz

GNATbench x86 GNU Linux (32 bits)

• gnatbench-2.5.1-bin.zip (sources)
• README

PolyORB x86 GNU Linux (32 bits)

• polyorb-gpl-2011-src.tgz

GNAT GPL Ada .NET on Windows

• gnat-gpl-2011-dotnet-windows-bin.exe (sources)
• README.txt

GNAT GPL Ada Java Virtual Machine on Windows

• gnat-gpl-2011-jvm-windows-bin.exe (sources)
• README.txt

GNATbench Java Virtual Machine on Windows

• gnatbench-2.5.1-bin.zip (sources)
• README.txt

GNAT GPL Ada AVR microcontroller ELF (hosted on windows)

• gnat-gpl-2011-avr-windows-bin.exe (sources)
• README.txt

Utils AVR microcontroller ELF (hosted on windows)

• gnumake-3.79.1-pentium-mingw32msv.exe (sources)

GNAT GPL Ada LEGO Mindstorms NXT (hosted on windows)

• gnat-gpl-2011-20110428-45-mindstorms-nxt-windows-bin.exe (sources)
• README.txt

GNAT GPL 2009

GtkAda x86 GNU Linux (64 bits)

• gtk+-2.14.5-x86_64-pc-linux-gnu.tgz (sources)

GNAT GPL Ada x86 GNU Linux (64 bits)

• gnat-gpl-2009-43-x86_64-pc-linux-gnu-bin.tar.gz (sources)
• README

SPARK GPL x86 GNU Linux (64 bits)

• spark-gpl-8.1.1-x86_64-pc-linux-gnu.tar.gz (sources)
• README

AJIS x86 GNU Linux (64 bits)

• gnat-ajis-gpl-2009-x86_64-pc-linux-gnu-bin.tgz (sources)

AUnit x86 GNU Linux (64 bits)

• README

AWS x86 GNU Linux (64 bits)

• aws-gpl-2.7.0-src.tgz

Florist x86 GNU Linux (64 bits)

• florist-gpl-2009-src.tgz

GNATbench x86 GNU Linux (64 bits)

• gnatbench-2.3.0-bin-eclipse.zip (sources)

PolyORB x86 GNU Linux (64 bits)

• polyorb-gpl-2009-src.tgz

XML/Ada x86 GNU Linux (64 bits)

• xmlada-gpl-3.2-src.tgz

GNAT GPL Ada x86 Mac OS X (64 bits)

• gnat-gpl-2009-43-x86_64-apple-darwin9.6.0-bin.tar.gz (sources)
• README

SPARK GPL x86 Mac OS X (64 bits)

• spark-gpl-8.1.1-x86_64-apple-darwin9.4.0.tar.gz (sources)
• README

AUnit x86 Mac OS X (64 bits)

• README

GtkAda x86 Windows (32 bits)

• gtkada-gpl-2.14.0-nt.exe (sources)

GNAT GPL Ada x86 Windows (32 bits)

• gnat-gpl-2009-43-i686-pc-mingw32-bin.exe (sources)
• README.txt

Win32Ada x86 Windows (32 bits)

• win32ada-gpl-2009.exe
• dll2def.exe

SPARK GPL x86 Windows (32 bits)

• spark-gpl-8.1.1-i686-pc-mingw32.exe (sources)
• README

AJIS x86 Windows (32 bits)

• gnat-ajis-gpl-2009-i686-pc-mingw32-bin.exe (sources)

AUnit x86 Windows (32 bits)

• aunit-gpl-2009-i686-pc-mingw32.exe (sources)
• README.txt

AWS x86 Windows (32 bits)

• aws-gpl-2.7.0-src.tgz

GNATbench x86 Windows (32 bits)

• gnatbench-2.3.0-bin-eclipse.exe (sources)

PolyORB x86 Windows (32 bits)

• polyorb-gpl-2009-src.tgz

XML/Ada x86 Windows (32 bits)

• xmlada-gpl-3.2-src.tgz

Utils x86 Windows (32 bits)

• gnumake-3.79.1-pentium-mingw32msv.exe (sources)

GtkAda x86 GNU Linux (32 bits)

• gtk+-2.14.5-i686-pc-linux-gnu.tgz (sources)

GNAT GPL Ada x86 GNU Linux (32 bits)

• gnat-gpl-2009-1-i686-gnu-linux-libc2.3-bin.tar.gz (sources)
• README

SPARK GPL x86 GNU Linux (32 bits)

• spark-gpl-8.1.1-i686-pc-linux-gnu.tar.gz (sources)
• README

AJIS x86 GNU Linux (32 bits)

• gnat-ajis-gpl-2009-i686-pc-linux-gnu-bin.tgz (sources)

AUnit x86 GNU Linux (32 bits)

• README

AWS x86 GNU Linux (32 bits)

• aws-gpl-2.7.0-src.tgz

Florist x86 GNU Linux (32 bits)

• florist-gpl-2009-src.tgz

GNATbench x86 GNU Linux (32 bits)

• gnatbench-2.3.0-bin-eclipse.zip (sources)

PolyORB x86 GNU Linux (32 bits)

• polyorb-gpl-2009-src.tgz

XML/Ada x86 GNU Linux (32 bits)

• xmlada-gpl-3.2-src.tgz

GNAT GPL Ada .NET on Windows

• gnat-gpl-2009-dotnet-bin.exe (sources)
• README.txt

GNAT GPL Ada Java Virtual Machine on Windows

• gnat-gpl-2009-jvm-bin.exe (sources)
• README.txt

GNATbench Java Virtual Machine on Windows

• gnatbench-2.3.0-bin-eclipse.exe (sources)

GNAT GPL Ada LEGO Mindstorms NXT (hosted on windows)

• gnat-gpl-2009-mindstorms-nxt-bin.exe (sources)
• README.txt

GNAT GPL 2010

GtkAda x86 GNU Linux (64 bits)

• gtk+-2.14.7-x86_64-pc-linux-gnu.tgz (sources)
• GtkAda-gpl-2.14.1.tgz (sources)
• README

GNAT GPL Ada x86 GNU Linux (64 bits)

• gnat-gpl-2010-x86_64-pc-linux-gnu-bin.tar.gz (sources)
• README

SPARK GPL x86 GNU Linux (64 bits)

• spark-gpl-2010-SMT-x86_64-pc-linux-gnu.tar.gz (sources)
• README

AJIS x86 GNU Linux (64 bits)

• gnat-ajis-gpl-2010-x86_64-pc-linux-gnu-bin.tgz (sources)

AUnit x86 GNU Linux (64 bits)

• README

AWS x86 GNU Linux (64 bits)

• aws-gpl-2.8.0-src.tgz

Florist x86 GNU Linux (64 bits)

• florist-gpl-2010-src.tgz

GNATbench x86 GNU Linux (64 bits)

• gnatbench-2.4.0-bin-eclipse.zip (sources)
• README

PolyORB x86 GNU Linux (64 bits)

• polyorb-gpl-2010-src.tgz

GNAT GPL Ada x86 Mac OS X (64 bits)

• gnat-gpl-2010-x86_64-apple-darwin9.6.0-bin.tar.gz (sources)
• README

SPARK GPL x86 Mac OS X (64 bits)

• spark-gpl-2010-x86_64-apple-darwin9.6.0.tar.gz (sources)
• README

AUnit x86 Mac OS X (64 bits)

• README

GtkAda x86 Windows (32 bits)

• gtkada-gpl-2.14.1-nt.exe (sources)
• README.txt

GNAT GPL Ada x86 Windows (32 bits)

• gnat-gpl-2010-1-i686-pc-mingw32-bin.exe (sources)
• README.txt

Win32Ada x86 Windows (32 bits)

• win32ada-gpl-2010.exe

SPARK GPL x86 Windows (32 bits)

• spark-gpl-2010-i686-pc-mingw32.exe (sources)
• README.txt

AJIS x86 Windows (32 bits)

• gnat-ajis-gpl-2010-i686-pc-mingw32-bin.exe (sources)

AUnit x86 Windows (32 bits)

• aunit-gpl-2010-i686-pc-mingw32.exe (sources)
• README.txt

AWS x86 Windows (32 bits)

• aws-gpl-2.8.0-src.tgz

GNATbench x86 Windows (32 bits)

• gnatbench-2.4.0-bin-eclipse.exe (sources)
• README.txt

PolyORB x86 Windows (32 bits)

• polyorb-gpl-2010-src.tgz

GtkAda x86 GNU Linux (32 bits)

• GtkAda-gpl-2.14.1.tgz (sources)
• gtk+-2.14.7-i686-pc-linux-gnu.tgz (sources)
• README

GNAT GPL Ada x86 GNU Linux (32 bits)

• gnat-gpl-2010-i686-gnu-linux-libc2.3-bin.tar.gz (sources)
• README

SPARK GPL x86 GNU Linux (32 bits)

• spark-gpl-2010-SMT-i686-pc-linux-gnu.tar.gz (sources)
• README

AJIS x86 GNU Linux (32 bits)

• gnat-ajis-gpl-2010-i686-pc-linux-gnu-bin.tgz (sources)

AUnit x86 GNU Linux (32 bits)

• README

AWS x86 GNU Linux (32 bits)

• aws-gpl-2.8.0-src.tgz

Florist x86 GNU Linux (32 bits)

• florist-gpl-2010-src.tgz

GNATbench x86 GNU Linux (32 bits)

• gnatbench-2.4.0-bin-eclipse.zip (sources)
• README

PolyORB x86 GNU Linux (32 bits)

• polyorb-gpl-2010-src.tgz

GNAT GPL Ada .NET on Windows

• gnat-gpl-2010-dotnet-bin.exe (sources)
• README.txt

GNAT GPL Ada Java Virtual Machine on Windows

• gnat-gpl-2010-jvm-bin.exe (sources)
• README.txt

GNATbench Java Virtual Machine on Windows

• gnatbench-2.4.0-bin-eclipse.exe (sources)
• README.txt

GNAT GPL Ada AVR microcontroller ELF (hosted on windows)

• gnat-gpl-2010-avr-bin.exe (sources)
• README.txt

Utils AVR microcontroller ELF (hosted on windows)

• gnumake-3.79.1-pentium-mingw32msv.exe (sources)

GNAT GPL Ada LEGO Mindstorms NXT (hosted on windows)

• gnat-gpl-2010-mindstorms-nxt-windows-bin.exe (sources)
• README.txt

GNAT GPL 2013

GtkAda x86 GNU Linux (64 bits)

• gtk+-3.4.1-x86_64-pc-linux-gnu.tgz (sources)
• README

GNAT GPL Ada x86 GNU Linux (64 bits)

• gnat-gpl-2013-x86_64-pc-linux-gnu-bin.tar.gz (sources)
• README

AJIS x86 GNU Linux (64 bits)

• gnat-ajis-gpl-2013-x86_64-pc-linux-gnu-bin.tar.gz (sources)

AUnit x86 GNU Linux (64 bits)

• README

AWS x86 GNU Linux (64 bits)

• aws-gpl-3.1.0-src.tgz

Florist x86 GNU Linux (64 bits)

• florist-gpl-2013-src.tgz

GNATbench x86 GNU Linux (64 bits)

• gnatbench-2.7.0-bin.zip (sources)
• README

XML/Ada x86 GNU Linux (64 bits)

• README

SPARK-HiLite GPL x86 GNU Linux (64 bits)

• spark-hi-lite-gpl-2013-x86_64-pc-linux-gnu-bin.tar.gz (sources)
• README

GNAT GPL Ada x86 Mac OS X (64 bits)

• gnat-gpl-2013-x86_64-apple-darwin12.2.0-bin.tar.gz (sources)
• README

AJIS x86 Mac OS X (64 bits)

• gnat-ajis-gpl-2013-x86_64-apple-darwin12.2.0-bin.tar.gz (sources)

AUnit x86 Mac OS X (64 bits)

• README

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

• spark-hi-lite-gpl-2013-x86_64-apple-darwin12.2.0-bin.tar.gz (sources)
• README

GtkAda x86 Windows (32 bits)

• gtkada-gpl-3.4.2-nt.exe (sources)
• README.txt

GNAT GPL Ada x86 Windows (32 bits)

• gnat-gpl-2013-i686-pc-mingw32-bin.exe (sources)
• README.txt

Win32Ada x86 Windows (32 bits)

• win32ada-gpl-2013.exe (sources)

AJIS x86 Windows (32 bits)

• gnat-ajis-gpl-2013-i686-pc-mingw32-bin.exe (sources)

AUnit x86 Windows (32 bits)

• README.txt

AWS x86 Windows (32 bits)

• aws-gpl-3.1.0-src.tgz

GNATbench x86 Windows (32 bits)

• gnatbench-2.7.0-bin.zip (sources)
• README.txt

PolyORB x86 Windows (32 bits)

• polyorb-for-gnat-2013.exe (sources)

WPosix x86 Windows (32 bits)

• wposix-gpl-1.0-src.tgz

XML/Ada x86 Windows (32 bits)

• README.txt

SPARK-HiLite GPL x86 Windows (32 bits)

• spark-hi-lite-gpl-2013-i686-pc-mingw32-bin.exe (sources)
• README.txt

GtkAda x86 GNU Linux (32 bits)

• gtk+-3.4.1-i686-pc-linux-gnu.tgz (sources)
• README

GNAT GPL Ada x86 GNU Linux (32 bits)

• gnat-gpl-2013-i686-pc-linux-gnu-bin.tar.gz (sources)
• README

AJIS x86 GNU Linux (32 bits)

• gnat-ajis-gpl-2013-i686-pc-linux-gnu-bin.tar.gz (sources)

AUnit x86 GNU Linux (32 bits)

• README

AWS x86 GNU Linux (32 bits)

• aws-gpl-3.1.0-src.tgz

Florist x86 GNU Linux (32 bits)

• florist-gpl-2013-src.tgz

GNATbench x86 GNU Linux (32 bits)

• gnatbench-2.7.0-bin.zip (sources)
• README

XML/Ada x86 GNU Linux (32 bits)

• README

SPARK-HiLite GPL x86 GNU Linux (32 bits)

• spark-hi-lite-gpl-2013-i686-pc-linux-gnu-bin.tar.gz (sources)
• README

GNAT GPL Ada .NET on Windows

• gnat-gpl-2013-dotnet-windows-bin.exe (sources)
• README.txt

GNAT GPL Ada Java Virtual Machine on Windows

• gnat-gpl-2013-jvm-windows-bin.exe (sources)
• README.txt

GNATbench Java Virtual Machine on Windows

• gnatbench-2.7.0-bin.zip (sources)
• README.txt

GNAT GPL 2012

GtkAda x86 GNU Linux (64 bits)

• gtk+-2.24.5-x86_64-pc-linux-gnu.tgz (sources)
• README

GNAT GPL Ada x86 GNU Linux (64 bits)

• gnat-gpl-2012-x86_64-pc-linux-gnu-bin.tar.gz (sources)
• README

SPARK GPL x86 GNU Linux (64 bits)

• spark-gpl-2012-x86_64-pc-linux-gnu.tar.gz (sources)

AJIS x86 GNU Linux (64 bits)

• gnat-ajis-gpl-2012-x86_64-pc-linux-gnu-bin.tgz (sources)

AUnit x86 GNU Linux (64 bits)

• README

AWS x86 GNU Linux (64 bits)

• aws-gpl-2.11.0-src.tgz

Florist x86 GNU Linux (64 bits)

• florist-gpl-2012-src.tgz

GNATbench x86 GNU Linux (64 bits)

• gnatbench-2.6.0-bin.zip (sources)
• README

PolyORB x86 GNU Linux (64 bits)

• polyorb-gpl-2012-src.tgz

XML/Ada x86 GNU Linux (64 bits)

• xmlada-gpl-4.3-src.tgz

GNAT GPL Ada x86 Mac OS X (64 bits)

• gnat-gpl-2012-x86_64-apple-darwin10.8.0-bin.tar.gz (sources)
• README

SPARK GPL x86 Mac OS X (64 bits)

• spark-gpl-2012-x86_64-apple-darwin10.8.0.tar.gz (sources)

AUnit x86 Mac OS X (64 bits)

• README

XML/Ada x86 Mac OS X (64 bits)

• xmlada-gpl-4.3-src.tgz

GtkAda x86 Windows (32 bits)

• gtkada-gpl-2.24.2-nt.exe (sources)
• README.txt

GNAT GPL Ada x86 Windows (32 bits)

• gnat-gpl-2012-i686-pc-mingw32-bin.exe (sources)
• README.txt

Win32Ada x86 Windows (32 bits)

• win32ada-gpl-2012.exe

SPARK GPL x86 Windows (32 bits)

• spark-gpl-2012-i686-pc-mingw32.exe (sources)

AJIS x86 Windows (32 bits)

• gnat-ajis-gpl-2012-i686-pc-mingw32-bin.exe (sources)

AUnit x86 Windows (32 bits)

• aunit-gpl-2012-i686-pc-mingw32.exe (sources)
• README.txt

AWS x86 Windows (32 bits)

• aws-gpl-2.11.0-src.tgz

GNATbench x86 Windows (32 bits)

• gnatbench-2.6.0-bin.zip (sources)
• README.txt

PolyORB x86 Windows (32 bits)

• polyorb-gpl-2012-src.tgz

WPosix x86 Windows (32 bits)

• wposix-gpl-1.0-src.tgz

XML/Ada x86 Windows (32 bits)

• xmlada-gpl-4.3-src.tgz

GtkAda x86 GNU Linux (32 bits)

• gtk+-2.24.5-i686-pc-linux-gnu.tgz (sources)
• README

GNAT GPL Ada x86 GNU Linux (32 bits)

• gnat-gpl-2012-i686-gnu-linux-libc2.3-bin.tar.gz (sources)
• README

SPARK GPL x86 GNU Linux (32 bits)

• spark-gpl-2012-i686-pc-linux-gnu.tar.gz (sources)

AJIS x86 GNU Linux (32 bits)

• gnat-ajis-gpl-2012-i686-pc-linux-gnu-bin.tgz (sources)

AUnit x86 GNU Linux (32 bits)

• README

AWS x86 GNU Linux (32 bits)

• aws-gpl-2.11.0-src.tgz

Florist x86 GNU Linux (32 bits)

• florist-gpl-2012-src.tgz

GNATbench x86 GNU Linux (32 bits)

• gnatbench-2.6.0-bin.zip (sources)
• README

PolyORB x86 GNU Linux (32 bits)

• polyorb-gpl-2012-src.tgz

XML/Ada x86 GNU Linux (32 bits)

• xmlada-gpl-4.3-src.tgz

GNAT GPL Ada .NET on Windows

• gnat-gpl-2012-dotnet-windows-bin.exe (sources)
• README.txt

GNAT GPL Ada Java Virtual Machine on Windows

• gnat-gpl-2012-jvm-windows-bin.exe (sources)
• README.txt

GNATbench Java Virtual Machine on Windows

• gnatbench-2.6.0-bin.zip (sources)
• README.txt

GNAT GPL Ada AVR microcontroller ELF (hosted on windows)

• gnat-gpl-2012-avr-windows-bin.exe (sources)
• README.txt

AUnit AVR microcontroller ELF (hosted on windows)

• aunit-gpl-2012-i686-pc-mingw32.exe (sources)
• README.txt

Utils AVR microcontroller ELF (hosted on windows)

• gnumake-3.79.1-pentium-mingw32msv.exe (sources)

GNAT GPL Ada LEGO Mindstorms NXT (hosted on windows)

• gnat-gpl-2012-mindstorms-nxt-windows-bin.exe (sources)
• README.txt

GNAT GPL 2007

GtkAda x86 GNU Linux (64 bits)

• gtk+-2.10.11-x86_64-pc-linux-gnu.tgz
• GtkAda-gpl-2.10.0.tgz
• README.GTKADA

GNAT GPL Ada x86 GNU Linux (64 bits)

• README
• gnat-gpl-2007-x86_64-pc-linux-gnu-bin.tar.gz (sources)

AUnit x86 GNU Linux (64 bits)

• aunit-gpl-2.01-1-src.tgz
• README

AWS x86 GNU Linux (64 bits)

• aws-gpl-2.3.0.tgz

Florist x86 GNU Linux (64 bits)

• florist-gpl-2007-src.tgz

XML/Ada x86 GNU Linux (64 bits)

• xmlada-gpl-2.2.0.tgz

GNAT GPL Ada x86 Windows (32 bits)

• gnat-gpl-2007-2-pentium-mingw32msv-bin.exe (sources)
• README.txt

Win32Ada x86 Windows (32 bits)

• win32ada-gpl-2007.exe
• dll2def.exe

AUnit x86 Windows (32 bits)

• aunit-gpl-2.01-1-src.zip
• README.txt

AWS x86 Windows (32 bits)

• aws-gpl-2.3.0.tgz

GNATbench x86 Windows (32 bits)

• gnatbench-2.0.1-pentium-mingw32msv-bin-eclipse.exe (sources)

PolyORB x86 Windows (32 bits)

• polyorb-gpl-2007-src.tgz

XML/Ada x86 Windows (32 bits)

• xmlada-gpl-2.2.0.tgz

GLADE x86 Windows (32 bits)

• glade-gpl-2007-src.tgz

GtkAda x86 GNU Linux (32 bits)

• GtkAda-gpl-2.10.0.tgz
• README.GTKADA
• gtk+-2.10.11-i686-pc-linux-gnu.tgz

GNAT GPL Ada x86 GNU Linux (32 bits)

• README
• gnat-gpl-2007-i686-gnu-linux-libc2.3-bin.tar.gz (sources)

AUnit x86 GNU Linux (32 bits)

• aunit-gpl-2.01-1-src.tgz
• README

AWS x86 GNU Linux (32 bits)

• aws-gpl-2.3.0.tgz

Florist x86 GNU Linux (32 bits)

• florist-gpl-2007-src.tgz

GNATbench x86 GNU Linux (32 bits)

• gnatbench-2.0.1-i686-pc-linux-gnu-bin-eclipse.tgz (sources)

PolyORB x86 GNU Linux (32 bits)

• polyorb-gpl-2007-src.tgz

XML/Ada x86 GNU Linux (32 bits)

• xmlada-gpl-2.2.0.tgz

GLADE x86 GNU Linux (32 bits)

• glade-gpl-2007-src.tgz