From: lyttlec <lyttlec@removegmail.com>
Subject: gnat-gps for Fedora 25
Date: Wed, 21 Jun 2017 10:07:31 -0400
Date: 2017-06-21T10:07:31-04:00 [thread overview]
Message-ID: <oiduj2$7ss$1@gioia.aioe.org> (raw)
Fedora 25 does not have gnat-gps available. Does the doinstall script
from adacore work OK for Fedora 25, or does someone know where an rpm
package is available.
Google only finds pages of 2005 vintage. Dmitry Kazakov had an RPM
posted about then, but the link is now stale.
Thanks
next reply other threads:[~2017-06-21 14:07 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-06-21 14:07 lyttlec [this message]
2017-06-27 11:08 ` gnat-gps for Fedora 25 TheGreatest
2017-06-27 13:36 ` jrmarino
2017-06-27 13:40 ` jrmarino
2017-07-14 5:35 ` landgraf
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox