Changelog for cbmc-doc-5.8-2.fc28.x86_64.rpm :

* 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
* Thu Apr 06 2017 Jerry James - 5.7-1- New upstream release
* Wed Apr 05 2017 Jerry James - 5.6-3- Rebuild for glpk 4.61
* Fri Feb 10 2017 Fedora Release Engineering - 5.6-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Sat Nov 26 2016 Jerry James - 5.6-1- New upstream release
* Fri Sep 16 2016 Jerry James - 5.5-2- Fix two tests that fail on big endian architectures (bz 1371894)
* Sat Aug 27 2016 Jerry James - 5.5-1- New upstream release
* Thu Mar 17 2016 Jerry James - 5.4-1- New upstream release
* Sat Mar 12 2016 Jerry James - 5.3-5- Rebuild for glpk 4.59
* Fri Feb 19 2016 Jerry James - 5.3-4- Rebuild for glpk 4.58
* Wed Feb 03 2016 Fedora Release Engineering - 5.3-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Fri Jan 22 2016 Jerry James - 5.3-2- Rebuild for cudd 3.0.0
* Tue Dec 01 2015 Jerry James - 5.3-1- New upstream release
* Wed Oct 07 2015 Jerry James - 5.2-1- New upstream release
* Fri Oct 02 2015 Jerry James - 5.1-3- Rebuild for cudd 2.5.1
* Wed Jun 17 2015 Fedora Release Engineering - 5.1-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Wed May 13 2015 Jerry James - 5.1-1- New upstream release- Drop upstreamed -messaget patch
* Sat May 02 2015 Kalev Lember - 5.0-2- Rebuilt for GCC 5 C++11 ABI change
* Mon Feb 02 2015 Jerry James - 5.0-1- New upstream release- Drop upstreamed ppc64le patch- Add -messaget patch to fix a build failure
* Mon Sep 15 2014 Jerry James - 4.9-1- New upstream release- Drop upstreamed patches
* Wed Sep 03 2014 Jerry James - 4.7-3- Add patch to fix the ppc64le build (bz 1133066)- Add man page links for goto-cc and goto-instrument- Fix license handling
* Fri Aug 15 2014 Fedora Release Engineering - 4.7-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Wed Jun 25 2014 Jerry James - 4.7-1- New upstream release- Build with CUDD support
* Sat Jun 07 2014 Fedora Release Engineering - 4.6-2.20131201svn- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Sun Dec 01 2013 Shakthi Kannan - 4.6-1.20131201svn- Updated to upstream 4.6 release
* Tue Sep 10 2013 Shakthi Kannan - 4.3-7.20130515svn- Fix build with unversioned docdir using _pkgdocdir (#992043)
* Sat Aug 03 2013 Fedora Release Engineering - 4.3-6.20130515svn- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Wed Jul 10 2013 Dan Horák - 4.3-5.20130515svn- fix build on s390x
* Mon Jul 08 2013 Shakthi Kannan - 4.3-4.20130515svn- Fixed changelog date
* Sun Jun 30 2013 Shakthi Kannan - 4.3-3.20130515svn- Updated license- Fixed doc and manual page directories
* Tue Jun 25 2013 Shakthi Kannan - 4.3-2.20130515svn- Updated release
* Wed May 15 2013 Shakthi Kannan - 4.3-1.20130515svn- First release