Path: ...!newsreader4.netcologne.de!news.netcologne.de!news.mixmin.net!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Thomas <fantome.forums.tDeContes@free.fr.invalid>
Newsgroups: fr.comp.lang.ada
Subject: GNAT Studio pour Linux
Date: Sat, 16 Sep 2023 00:29:23 +0200
Organization: A noiseless patient Spider
Lines: 19
Message-ID: <ue2ls3$3eeaj$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 15 Sep 2023 22:29:23 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="eb619aa22dec9ea84b5a26b3e778f953";
	logging-data="3619155"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19jpxranVfsXc5tR0soFBQzuyZrCH8xI20="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.15.0
Cancel-Lock: sha1:ms4JGGtUjOEu75AxaC/ZXwWZMZY=
Content-Language: fr-FR
Bytes: 1414

bonjour :-)


j'aimerais installer GNAT Studio sous mon Linux (Ubuntu 22).


Comment faire ?

J'ai trouvé le paquet "gnat-gps" dans Ubuntu 20 :
https://packages.ubuntu.com/focal/gnat-gps
mais plus rien qui correspond à ça dans les versions suivantes.

si la méthode recommandée est d'installer Alire, y a-t-il un paquet pour 
lui ?


-- 
RAPID maintainer
http://savannah.nongnu.org/projects/rapid/