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,c32f496672c2e0c5 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit X-Received: by 10.180.83.101 with SMTP id p5mr13076202wiy.0.1357228909791; Thu, 03 Jan 2013 08:01:49 -0800 (PST) Path: i11ni349777wiw.0!nntp.google.com!proxad.net!feeder1-2.proxad.net!feeder.erje.net!eu.feeder.erje.net!weretis.net!feeder4.news.weretis.net!news.teledata-fn.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail Date: Thu, 03 Jan 2013 17:01:18 +0100 From: Georg Bauhaus User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:17.0) Gecko/17.0 Thunderbird/17.0 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Linux distro for new server? References: <20130103174200.bcf9c1584b18c0225c153789@iki.fi> In-Reply-To: <20130103174200.bcf9c1584b18c0225c153789@iki.fi> X-Enigmail-Version: 1.4.6 Message-ID: <50e5ab4f$0$9524$9b4e6d93@newsspool1.arcor-online.net> Organization: Arcor NNTP-Posting-Date: 03 Jan 2013 17:01:19 CET NNTP-Posting-Host: aa3fe94c.newsspool1.arcor-online.net X-Trace: DXC=NiY`9]H9:Zl<6cDJZfMd_cic==]BZ:afn4Fo<]lROoRankgeX?EC@@`USa^hhA5AYjnc\616M64>jLh>_cHTX3jmoloGBEj0;Kk X-Complaints-To: usenet-abuse@arcor.de Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Date: 2013-01-03T17:01:19+01:00 List-Id: On 03.01.13 16:42, Tero Koskinen wrote: > Ubuntu 12.10 has gnat 4.6 But GNAT on Ubuntu could be in better shape. Bugfixing and integrating starts in Debian, but results do not seem to arrive in Ubuntu soon. Ubuntu does not actively support the Ada component of GCC, IIRC. (This becomes apparent as seemingly minor symptoms, such as incorrect links between Info's DIR file and GNAT's manuals: you'll have to correct the former in order to navigate to the docs.)