Changelog for cbmc-doc-5.38.0-1.fc33.x86_64.rpm :

* Wed Sep 15 2021 Vincent Mihalkovic - 5.38.0-1- New upstream release of cbmc and also cbmc-utils
* Mon Aug 23 2021 Pavel Simovec - 5.37.0-1- New upstream release- fix broken indentation in a patch
* Wed Aug 04 2021 Lukas Zaoral - 5.35.0-1- New upstream release- Use plain doxygen to cut-down some build dependencies
* Wed May 12 2021 Vincent Mihalkovic - 5.29.0-1- New upstream release
* Wed Mar 10 2021 Vincent Mihalkovic - 5.25.0-1- Add csexec-cbmc.sh script- New upstream release
* Tue Feb 23 2021 Vincent Mihalkovic - 5.24.0-1- Add goto-clang for a hybrid binary translation- New upstream release
* Mon Nov 02 2020 Vincent Mihalkovic - 5.17.0-1- New upstream release
* Thu Oct 08 2020 Vincent Mihalkovic - 5.15.0-1- New upstream release
* Wed Sep 30 2020 Vincent Mihalkovic - 5.14.3-1- New upstream release
* Tue Sep 29 2020 Vincent Mihalkovic - 5.13.1-1- New upstream release- Use CMake instead of plain Makefiles- Add cbmc-utils subpackage
* Tue Sep 01 2020 Vincent Mihalkovic - 5.13.0-1- New upstream release
* Wed Aug 12 2020 Vincent Mihalkovic - 5.12.6-1- Replace custom goto-cc.1 with symlinks to cbmc.1- Enable full cbmc testsuite- python to python3 fix in one test case
* 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