From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Subject: SPARK on Debian
Date: Wed, 9 Mar 2011 06:28:23 -0800 (PST)
Date: 2011-03-09T06:28:23-08:00 [thread overview]
Message-ID: <6218b78a-7065-4153-87b3-fac031f8dabe@w36g2000vbi.googlegroups.com> (raw)
Eugeniy Meshcheryakov has started packaging SPARK GPL 2010 for Debian
and has published a git repository of his work[1]; the state is very
preliminary at the moment. You can reach him on debian-
ada@lists.debian.org.
[1] http://lists.debian.org/debian-ada/2011/03/msg00004.html
--
Ludovic Brenta.
next reply other threads:[~2011-03-09 14:28 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-03-09 14:28 Ludovic Brenta [this message]
2011-03-09 14:49 ` SPARK on Debian Rod Chapman
2011-03-09 15:22 ` Ludovic Brenta
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox