Pavel Zhukov wrote:
Gnatcoll itself... As you can see there're two versions of the
package
on
libre.adacore.com. First one is "normal" one which is released with
gnat and called gnatcoll-gpl-%{version} and we have it in Fedora for a
while. Second one is "special" version for GPS and called
gnatcoll-gps.
In the 2017 release I don't see that or any other such special library
versions, so it looks like that particular problem has gone away, at
least for this release.
Björn