From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Subject: SPARK on Debian!
Date: Tue, 19 Apr 2011 05:19:05 -0700 (PDT)
Date: 2011-04-19T05:19:05-07:00 [thread overview]
Message-ID: <7e5343d9-323e-4fb0-92b1-70529d016e32@o15g2000prn.googlegroups.com> (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.
next reply other threads:[~2011-04-19 12:19 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-04-19 12:19 Ludovic Brenta [this message]
2011-04-19 18:04 ` SPARK on Debian! Rod Chapman
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox