From: Simon Wright <simon@pushface.org>
Subject: Re: Debian & gprinstall
Date: Wed, 15 Feb 2017 10:33:37 +0000
Date: 2017-02-15T10:33:37+00:00 [thread overview]
Message-ID: <ly37ffpwu6.fsf@pushface.org> (raw)
In-Reply-To: 1487151580.19316.115.camel@obry.net
Pascal Obry <pascal@obry.net> writes:
> Le mercredi 15 février 2017 à 09:29 +0000, Simon Wright a écrit :
>> Thanks for this thought! See package Install in
>> http://docs.adacore.com/gprbuild-docs/html/gprbuild_ug/gnat_project_m
>> anager.html#packages
>>
>> Not sure when it was introduced.
>
> Almost since day 1 at the time GPRsinstall was designed :)
And it's present at GPL 2014, which is what Debian jessie uses.
Should there be a gprconfig/ file for it? (which would make Debian
maintainers' job easier, I think)
prev parent reply other threads:[~2017-02-15 10:33 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-02-14 17:01 Debian & gprinstall Simon Wright
2017-02-14 17:57 ` Dmitry A. Kazakov
2017-02-14 21:30 ` Simon Wright
2017-02-15 8:44 ` Dmitry A. Kazakov
2017-02-15 9:29 ` Simon Wright
2017-02-15 9:39 ` Pascal Obry
2017-02-15 10:33 ` Simon Wright [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox