From: Rod Chapman <roderick.chapman@googlemail.com>
Subject: Re: SPARK on Debian!
Date: Tue, 19 Apr 2011 11:04:19 -0700 (PDT)
Date: 2011-04-19T11:04:19-07:00 [thread overview]
Message-ID: <341372bd-c475-4b2d-b502-a0e76174719d@18g2000prd.googlegroups.com> (raw)
In-Reply-To: 7e5343d9-323e-4fb0-92b1-70529d016e32@o15g2000prn.googlegroups.com
Nice work guys. I'm very pleased to see the GPL edition of
SPARK reach the Debian community.
- Rod Chapman, SPARK Team, Praxis
prev parent reply other threads:[~2011-04-19 18:04 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-04-19 12:19 SPARK on Debian! Ludovic Brenta
2011-04-19 18:04 ` Rod Chapman [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox