Changelog for cbmc-doc-5.12-2.fc33.x86_64.rpm :

* Mon Jul 27 2020 Fedora Release Engineering - 5.12-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Thu Jul 09 2020 Vincent Mihalkovic - 5.12-1- New upstream release. Skipping some of regression tests - temporary f33 build fix
* Tue Jan 28 2020 Fedora Release Engineering - 5.11-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Fri Sep 27 2019 Jerry James - 5.11-4- Drop cudd support due to impending cudd retirement
* Wed Jul 24 2019 Fedora Release Engineering - 5.11-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* 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