* SPARK on Debian!
@ 2011-04-19 12:19 Ludovic Brenta
2011-04-19 18:04 ` Rod Chapman
0 siblings, 1 reply; 2+ messages in thread
From: Ludovic Brenta @ 2011-04-19 12:19 UTC (permalink / raw)
It is my pleasure once again to announce a new addition to Debian
relevant to Ada programmers. Євгеній Мещеряков (Eugeniy
Meshcheryakov), a Debian Developer, has completed the initial work in
packaging the SPARK GPL 2010 toolset for Debian with help from Florian
Schanda of Altran Praxis. The following new package is therefore
available in Debian unstable:
spark - SPARK programming language toolset
Please test and report any problems you find in the Debian bug
tracking system.
Note that Eugeniy does not follow comp.lang.ada but he is reachable on
the mailing list debian-ada@lists.debian.org, where highly detailed
and technical discussions are welcome.
--
Ludovic Brenta.
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: SPARK on Debian!
2011-04-19 12:19 SPARK on Debian! Ludovic Brenta
@ 2011-04-19 18:04 ` Rod Chapman
0 siblings, 0 replies; 2+ messages in thread
From: Rod Chapman @ 2011-04-19 18:04 UTC (permalink / raw)
Nice work guys. I'm very pleased to see the GPL edition of
SPARK reach the Debian community.
- Rod Chapman, SPARK Team, Praxis
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2011-04-19 18:04 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-04-19 12:19 SPARK on Debian! Ludovic Brenta
2011-04-19 18:04 ` Rod Chapman
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox