From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.3 required=5.0 tests=BAYES_00,REPLYTO_WITHOUT_TO_CC,
	URI_TRY_3LD autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED.0suPySMfty9H3n1poQjmNw.user.gioia.aioe.org!not-for-mail
From: "Nasser M. Abbasi" <nma@12000.org>
Newsgroups: comp.lang.ada
Subject: GNAT Community 2019 is here!
Date: Wed, 5 Jun 2019 08:15:48 -0500
Organization: Aioe.org NNTP Server
Message-ID: <qd8fa2$127c$1@gioia.aioe.org>
Reply-To: nma@12000.org
NNTP-Posting-Host: 0suPySMfty9H3n1poQjmNw.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101
 Thunderbird/60.7.0
X-Notice: Filtered by postfilter v. 0.9.2
X-Mozilla-News-Host: news://nntp.aioe.org:119
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:56487
Date: 2019-06-05T08:15:48-05:00
List-Id: <comp.lang.ada>

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!