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,c32f496672c2e0c5
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.180.91.114 with SMTP id cd18mr13752348wib.2.1357300160107;
        Fri, 04 Jan 2013 03:49:20 -0800 (PST)
Path: 
 o9ni620wio.1!nntp.google.com!goblin1!goblin2!goblin.stu.neva.ru!feeder.erje.net!eu.feeder.erje.net!news.glorb.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail
From: Stephen Leake <stephen_leake@stephe-leake.org>
Newsgroups: comp.lang.ada
Subject: Re: Linux distro for new server?
References: <kc2k58$pd7$1@munin.nbi.dk> <kc367p$vo4$1@dont-email.me>
 	<20130103174200.bcf9c1584b18c0225c153789@iki.fi>
 	<kc51ae$2de$1@munin.nbi.dk>
Date: Fri, 04 Jan 2013 06:49:17 -0500
Message-ID: <85txqxf9s2.fsf@stephe-leake.org>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2 (windows-nt)
Cancel-Lock: sha1:X529JEgZP+aaB4hxjiWtXNhaaH8=
MIME-Version: 1.0
X-Complaints-To: abuse@flashnewsgroups.com
Organization: FlashNewsgroups.com
X-Trace: b4de550e6c1bfe029e66123648
X-Received-Bytes: 1733
Content-Type: text/plain
Date: 2013-01-04T06:49:17-05:00
List-Id: <comp.lang.ada>

"Randy Brukardt" <randy@rrsoftware.com> writes:

> For a server, hardly anything should 
> change for long periods; pretty much the only thing required ought to be 
> security updates, other updates ought to be optional. But no one seems to 
> work that way anymore. 

Debian does; they make security only releases to the current stable.

> And it sounds like Debian stable is just 
> too old relative to GNAT (I do use some Ada 2005 features in my code, no 
> interfaces though.) 

Install GNAT GPL-<pick a year> from http://libre.adacore.com on Debian.
That would be my first choice.

Red Hat seems to be prefered at my work (NASA), and it is the Linux OS
officially supported by AdaCore. Red Hat provides constant updates on
the machines I use; I'm not clear if they have a "security only" policy.

You might be able to talk AdaCore into giving you the academic
discount on paid support, since you are working for the ARG.

-- 
-- Stephe