* GPS 6 in Debian 8 repositories
@ 2016-10-14 19:47 Multiplayer1080
2016-10-14 19:55 ` Multiplayer1080
` (2 more replies)
0 siblings, 3 replies; 5+ messages in thread
From: Multiplayer1080 @ 2016-10-14 19:47 UTC (permalink / raw)
I just installed debian 6 and I haven't found the gnat-gps 6 in the repositories. I am downloading the app from libre.ada to do a manual installation... I have done this before, but when the repositories are going to be updated?
^ permalink raw reply [flat|nested] 5+ messages in thread* GPS 6 in Debian 8 repositories
2016-10-14 19:47 GPS 6 in Debian 8 repositories Multiplayer1080
@ 2016-10-14 19:55 ` Multiplayer1080
2016-10-15 1:44 ` Multiplayer1080
2016-10-15 6:59 ` Dmitry A. Kazakov
2 siblings, 0 replies; 5+ messages in thread
From: Multiplayer1080 @ 2016-10-14 19:55 UTC (permalink / raw)
Correction: I just installed debian 8.
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: GPS 6 in Debian 8 repositories
2016-10-14 19:47 GPS 6 in Debian 8 repositories Multiplayer1080
2016-10-14 19:55 ` Multiplayer1080
@ 2016-10-15 1:44 ` Multiplayer1080
2016-10-15 6:59 ` Dmitry A. Kazakov
2 siblings, 0 replies; 5+ messages in thread
From: Multiplayer1080 @ 2016-10-15 1:44 UTC (permalink / raw)
El viernes, 14 de octubre de 2016, 15:47:33 (UTC-4), Multiplayer1080 escribió:
> I just installed debian 8-Jessie and I haven't found the gnat-gps 6 in the regular repositories. I am downloading the app from libre.ada to do a manual installation... I have done this before, but when the repositories are going to be updated?
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: GPS 6 in Debian 8 repositories
2016-10-14 19:47 GPS 6 in Debian 8 repositories Multiplayer1080
2016-10-14 19:55 ` Multiplayer1080
2016-10-15 1:44 ` Multiplayer1080
@ 2016-10-15 6:59 ` Dmitry A. Kazakov
2016-10-17 14:27 ` Multiplayer1080
2 siblings, 1 reply; 5+ messages in thread
From: Dmitry A. Kazakov @ 2016-10-15 6:59 UTC (permalink / raw)
On 2016-10-14 21:47, Multiplayer1080 wrote:
> I just installed debian 6 and I haven't found the gnat-gps 6 in the
> repositories. I am downloading the app from libre.ada to do a manual
> installation... I have done this before, but when the repositories are
> going to be updated?
Linux distributions treasure outdated versions of GCC like vine, the
older the better.
Edit /etc/apt/sources.list and add "testing" to the list. E.g.:
deb http://ftp.de.debian.org/debian/ sid testing main contrib non-free
After apt update you will see gnat-6.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: GPS 6 in Debian 8 repositories
2016-10-15 6:59 ` Dmitry A. Kazakov
@ 2016-10-17 14:27 ` Multiplayer1080
0 siblings, 0 replies; 5+ messages in thread
From: Multiplayer1080 @ 2016-10-17 14:27 UTC (permalink / raw)
El sábado, 15 de octubre de 2016, 2:59:15 (UTC-4), Dmitry A. Kazakov escribió:
> On 2016-10-14 21:47, Multiplayer1080 wrote:
> > I just installed debian 6 and I haven't found the gnat-gps 6 in the
> > repositories. I am downloading the app from libre.ada to do a manual
> > installation... I have done this before, but when the repositories are
> > going to be updated?
>
> Linux distributions treasure outdated versions of GCC like vine, the
> older the better.
>
> Edit /etc/apt/sources.list and add "testing" to the list. E.g.:
>
> deb http://ftp.de.debian.org/debian/ sid testing main contrib non-free
>
> After apt update you will see gnat-6.
>
> --
> Regards,
> Dmitry A. Kazakov
> http://www.dmitry-kazakov.de
Thanks a lot Dmitry, i heard about you in the Ada community, and it's great to receive a solution from you...
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2016-10-17 14:27 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-10-14 19:47 GPS 6 in Debian 8 repositories Multiplayer1080
2016-10-14 19:55 ` Multiplayer1080
2016-10-15 1:44 ` Multiplayer1080
2016-10-15 6:59 ` Dmitry A. Kazakov
2016-10-17 14:27 ` Multiplayer1080
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox