Changelog for gnatcoll-doc-2018-3.fc31.noarch.rpm :

* 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 * Tue Feb 06 2018 Pavel Zhukov * Fri Jan 05 2018 Pavel Zhukov - 2017-10- gnatcoll-devel requres libgpr-devel
* Fri Dec 01 2017 Pavel Zhukov - 2017-9- Build with new sources ( [QB29-004] )
* Fri Aug 04 2017 Pavel Zhukov - 2017-7- Enable gtkada
* Wed Aug 02 2017 Fedora Release Engineering - 2017-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Wed Jul 26 2017 Fedora Release Engineering - 2017-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild