AdaCore Blog: A New Era For Ada/SPARK Open Source Community

comp.lang.ada
 help / color / mirror / Atom feed

* AdaCore Blog:  A New Era For Ada/SPARK Open Source Community
@ 2022-06-06  8:56 Fabien Chouteau
  2022-06-06 16:03 ` Stephen Leake
  0 siblings, 1 reply; 2+ messages in thread
From: Fabien Chouteau @ 2022-06-06  8:56 UTC (permalink / raw)


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

I will be at the Ada-Europe conference next week if someone wants to take live about these announcements.

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: AdaCore Blog:  A New Era For Ada/SPARK Open Source Community
  2022-06-06  8:56 AdaCore Blog: A New Era For Ada/SPARK Open Source Community Fabien Chouteau
@ 2022-06-06 16:03 ` Stephen Leake
  0 siblings, 0 replies; 2+ messages in thread
From: Stephen Leake @ 2022-06-06 16:03 UTC (permalink / raw)

Fabien Chouteau <fabien.chouteau@gmail.com> 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

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2022-06-06 16:03 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-06-06  8:56 AdaCore Blog: A New Era For Ada/SPARK Open Source Community Fabien Chouteau
2022-06-06 16:03 ` Stephen Leake

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox