GNAT Community 2019 is here!

["Nasser M. Abbasi" <nma@12000.org>]

FYI,

Just got this in email. I did not see it posted here.

=========================
Calling all members of the Ada and SPARK community, we are pleased to announce that GNAT Community 2019 is here! See https://www.adacore.com/download <https://www.adacore.com/download>.

This release is supported on the same platforms as last year:
Windows, Linux, and Mac 64-bit native
RISC-V hosted on Linux
ARM 32 bits hosted on 64-bit Linux, Mac, and Windows

GNAT Community now includes a number of fixes and enhancements, most notably:
The SPARK language now has support for pointers, a fantastic milestone for the language! Watch https://blog.adacore.com <https://blog.adacore.com/> for an upcoming article dedicated to this new feature.
The installer for Windows and Linux now contains pre-built binary distributions of Libadalang <https://github.com/AdaCore/libadalang>, a very powerful language tooling library for Ada and SPARK.

Check out the README <http://mirrors.cdn.adacore.com/art/5cf1784731e87a39b16ab0f1> for some additional platform-specific notes.

For those wanting to get up and running with the Ada and SPARK programming languages, visit https://learn.adacore.com/ <https://learn.adacore.com/>, an interactive platform which allows you to compile, run and even prove your code!