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,db8388c6b42d398
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!k36g2000pri.googlegroups.com!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: How do I go about creating a minimal GNAT runtime?
Date: Sun, 25 Jan 2009 11:43:25 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <cd6756f0-fc5f-4ca3-8b61-a5c2e19d5c67@k36g2000pri.googlegroups.com>
References: 
 <eb511600-6446-4bad-b859-0d7444416a4c@d36g2000prf.googlegroups.com>
	<3eff96d5-50ff-4cd2-84ad-ab5e8342aaaa@p23g2000prp.googlegroups.com>
	<f8981d5d-a3be-49a9-89c5-287b9d2200fb@o40g2000prn.googlegroups.com>
NNTP-Posting-Host: 94.108.158.221
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1232912605 4873 127.0.0.1 (25 Jan 2009 19:43:25
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sun, 25 Jan 2009 19:43:25 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: k36g2000pri.googlegroups.com; posting-host=94.108.158.221;
	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: g2news2.google.com comp.lang.ada:4462
Date: 2009-01-25T11:43:25-08:00
List-Id: <comp.lang.ada>

On Jan 25, 3:00 pm, Lucretia <lucret...@lycos.co.uk> wrote:
> On Jan 25, 11:13 am, Ludovic Brenta <ludo...@ludovic-brenta.org>
> wrote:
> > Have you had a look at the OS Lovelace sources? OS Lovelace supports
>
> I can't as the server is down, again.

www.ada-france.org is up, both for HTTP and for Monotone, and www.lovelace.fr
is up too. Are you talking about another server?

--
Ludovic Brenta.