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,de271484cfbb52a1 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!postnews.google.com!j35g2000yqh.googlegroups.com!not-for-mail From: Ludovic Brenta Newsgroups: comp.lang.ada Subject: Re: General informations about ASIS Date: Sat, 14 Feb 2009 23:55:58 -0800 (PST) Organization: http://groups.google.com Message-ID: <0b9de128-d916-47db-bfbe-b48dfbb222b0@j35g2000yqh.googlegroups.com> References: <6a692bc8-5989-404c-8bfb-593f23c21070@w1g2000prm.googlegroups.com> NNTP-Posting-Host: 94.108.219.224 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1234684558 32621 127.0.0.1 (15 Feb 2009 07:55:58 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Sun, 15 Feb 2009 07:55:58 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: j35g2000yqh.googlegroups.com; posting-host=94.108.219.224; posting-account=pcLQNgkAAAD9TrXkhkIgiY6-MDtJjIlC User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.18) Gecko/20081030 Iceape/1.1.13 (Debian-1.1.13-1),gzip(gfe),gzip(gfe) Xref: g2news1.google.com comp.lang.ada:3640 Date: 2009-02-14T23:55:58-08:00 List-Id: Hibou57 (Yannick Duch=EAne) wrote on comp.lang.ada: > o There are ASIS 2005 declaration packages in some Debian > distribution : are these declarations the one of an official ASIS > 2005 ? What is the status of declarations which seems to indeed > enumerates all kind of Ada constructs. Debian 4.0 "Etch" includes a package libasis-dev version 2005-5. This reflects the fact that this version of ASIS is from GNAT GPL 2005 Edition; not to any version of the ASIS standard. Similarly, 5.0 "Lenny" has the version from GNAT GPL 2007 Edition. PS. Debian 5.0 "Lenny" was due to become "stable" yesterday. I have not yet seen the announcement but qa.debian.org already lists it as "stable". I think the official announcement must be on its way to thousands of web sites right now. -- Ludovic Brenta.