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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.mixmin.net!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!peer03.am1!peering.am1!npeersf04.am4!fx25.fr7.POSTED!not-for-mail
From: Brian Drummond <brian3@shapes.demon.co.uk>
Subject: Re: CPAN style Ada repository
Newsgroups: comp.lang.ada
References: <52976431$1@news.actrix.co.nz>
	<87iouubhqu.fsf@adaheads.sparre-andersen.dk> <op.w7y4ishlule2fv@cardamome>
	<87eh5ibc1r.fsf@adaheads.sparre-andersen.dk>
User-Agent: Pan/0.139 (Sexual Chocolate; GIT bf56508
 git://git.gnome.org/pan2)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Message-ID: <Wlgqu.28$dP7.13@fx25.fr7>
NNTP-Posting-Host: 62.49.20.82
X-Complaints-To: abuse@demon.net
X-Trace: 1386844662 62.49.20.82 (Thu, 12 Dec 2013 10:37:42 UTC)
NNTP-Posting-Date: Thu, 12 Dec 2013 10:37:42 UTC
Date: Thu, 12 Dec 2013 10:37:42 GMT
X-Received-Body-CRC: 2185043211
X-Received-Bytes: 1887
Xref: news.eternal-september.org comp.lang.ada:17994
Date: 2013-12-12T10:37:42+00:00
List-Id: <comp.lang.ada>

On Thu, 12 Dec 2013 11:26:08 +0100, Jacob Sparre Andersen wrote:

> Yannick Duchêne wrote:
>> Le Thu, 12 Dec 2013 09:23:05 +0100, Jacob Sparre Andersen
>> <jacob@jacob-sparre.dk> a écrit:

> 
>> Still talking about other compilers, then a point to add would be to
>> try to restrict sources to what other compilers supports at a given
>> time, and I guess actually this is rather Ada 2005 and not Ada 2012
>> (except may be Janus Ada from RR Software).
> 
> I don't see any point in excluding software written in Ada 2012 (or Ada
> 83 for that matter) as long as it is correct Ada 2012.  Showing off how
> one can make good use of Ada 2012 is likely to motivate the vendors to
> upgrade their offerings to support it.

Colour code the download buttons (or provide other filtering means). 
Green indicates tested successfully with multiple compilers, multiple OS. 
Perhaps gold makes imaginative use of new techniques (Ada-2012), steel 
blue (hardened and tempered) uses SPARK.

-Brian