From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-65-14.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!aioe.org!6MpDoNrA+2KoZyE4OD7oYg.user.46.165.242.75.POSTED!not-for-mail From: Stephen Leake Newsgroups: comp.lang.ada Subject: Re: AdaCore Blog: A New Era For Ada/SPARK Open Source Community Date: Mon, 06 Jun 2022 09:03:25 -0700 Organization: Aioe.org NNTP Server Message-ID: <86ilpdeq42.fsf@stephe-leake.org> References: <07abf51c-7ad1-44d4-af83-00cfdb0cb8e1n@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: gioia.aioe.org; logging-data="10400"; posting-host="6MpDoNrA+2KoZyE4OD7oYg.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org"; User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (windows-nt) X-Notice: Filtered by postfilter v. 0.9.2 Cancel-Lock: sha1:zELmyI6dNZUlbjTHlLMoTLBHB7A= Xref: reader02.eternal-september.org comp.lang.ada:63933 List-Id: Fabien Chouteau writes: > I am sharing this here for people who might not have seen it yet: > https://blog.adacore.com/a-new-era-for-ada-spark-open-source-community Thanks for posting this. I hope this will reduce the differences among the gnat versions available in the various OS releases; they've been causing headaches for Emacs ada-mode. But probably not. -- -- Stephe