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: a07f3367d7,d092042f71ff89b3
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news1.google.com!news2.google.com!news.glorb.com!feeder.erje.net!feeder.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: AdaControl 1.12r3 released
Date: Thu, 15 Apr 2010 19:58:41 +0100
Organization: A noiseless patient Spider
Message-ID: <m28w8oa6fy.fsf@pushface.org>
References: <hq1b80$tr2$1@news.eternal-september.org>
	<732effc8-1334-42fd-ae4f-65b0c97b7f51@q23g2000yqd.googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 15 Apr 2010 18:58:42 +0000 (UTC)
Injection-Info: feeder.eternal-september.org;
 posting-host="KCXegvZb5vh43D+f3BR6Ew";
	logging-data="16286"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+ohoQNAcpOSyWpak/QjQQNbzwXuZHtsag="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (darwin)
Cancel-Lock: sha1:qdDu/920E/kKZRmcdo8+0CvPtoM=
	sha1:qxtu4sV8FOTL0pDJSzekPmmY4Q4=
Xref: g2news1.google.com comp.lang.ada:9998
Date: 2010-04-15T19:58:41+01:00
List-Id: <comp.lang.ada>

Anh Vo <anhvofrcaus@gmail.com> writes:

> On Apr 13, 1:50 am, "J-P. Rosen" <ro...@adalog.fr> wrote:
>> Adalog is pleased to announce a new release of AdaControl.
>>
>> This release includes various improvements, bug fixes, etc. and raises
>> the number of possible checks to 388.
>>
>> As usual, it is available in source (GMGPL) and executable for
>> Gnat-GPL2009 forms from http://www.adalog.fr/adacontrol2.htm
>
> Thank you for share your work.
>
> All source distributions have problems to be unzip/untar after
> downloading. I am sure if I am the only one who has this problem.

Unzipped OK here (Mac OS X).