Changelog for cbmc-doc-5.11-2.fc30.x86_64.rpm :

* Sat Jun 08 2019 Jerry James - 5.11-2- Fix man page links (bz 1718287)
* Thu Jan 31 2019 Jerry James - 5.11-1- New upstream release
* Thu Jan 31 2019 Fedora Release Engineering - 5.10-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Wed Sep 26 2018 Jerry James - 5.10-1- New upstream release
* Thu Jul 12 2018 Fedora Release Engineering - 5.9-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Fri Jun 22 2018 Jerry James - 5.9-1- New upstream release- Drop upstreamed -float128 and -vec patches- Musketeer and symex have been removed; do not try to build them
* Mon Jun 11 2018 Jerry James - 5.8-4- Fix out of bounds vector accesses
* Sat Jun 02 2018 Jerry James - 5.8-3- Rebuild for glpk 4.65
* Wed Feb 07 2018 Fedora Release Engineering - 5.8-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Sat Aug 12 2017 Jerry James - 5.8-1- New upstream release- Drop upstreamed -musketeer patch- Add -doc subpackage to hold doxygen-generated content
* Wed Aug 02 2017 Fedora Release Engineering - 5.7-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Wed Jul 26 2017 Fedora Release Engineering - 5.7-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild