From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,e435219fdd1d2b98,start
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!postnews.google.com!o15g2000prn.googlegroups.com!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: SPARK on Debian!
Date: Tue, 19 Apr 2011 05:19:05 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <7e5343d9-323e-4fb0-92b1-70529d016e32@o15g2000prn.googlegroups.com>
NNTP-Posting-Host: 153.98.68.197
Mime-Version: 1.0
Content-Type: text/plain; charset=KOI8-U
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1303215545 1522 127.0.0.1 (19 Apr 2011 12:19:05
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 19 Apr 2011 12:19:05 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: o15g2000prn.googlegroups.com; posting-host=153.98.68.197;
 posting-account=pcLQNgkAAAD9TrXkhkIgiY6-MDtJjIlC
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.0.6)
 Gecko/2009012111 Red Hat/3.0.6-1.el5 Firefox/3.0.6,gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:18893
Date: 2011-04-19T05:19:05-07:00
List-Id: <comp.lang.ada>

It is my pleasure once again to announce a new addition to Debian
relevant to Ada programmers. =B4=D7=C7=C5=CE=A6=CA =ED=C5=DD=C5=D2=D1=CB=CF=
=D7 (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.