Changelog for gnatcoll-doc-2018-4.fc32.noarch.rpm :

* Sat Feb 08 2020 Björn Persson - 2018-4- Adapted to a change in GCC 10.
* Thu Jul 25 2019 Fedora Release Engineering - 2018-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Sun Mar 24 2019 Björn Persson - 2018-2- Worked around a bug in GPRinstall.
* Thu Mar 14 2019 Björn Persson - 2018-1- Upgraded to gnatcoll-core 2018.- This is now the gnatcoll-core source package. gnatcoll-bindings and gnatcoll- db are separate source packages.
* Sun Feb 17 2019 Igor Gnatenko - 2017-16- Rebuild for readline 8.0
* Thu Jan 31 2019 Fedora Release Engineering - 2017-15- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Fri Jul 13 2018 Fedora Release Engineering - 2017-14- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Thu Feb 22 2018 Pavel Zhukov