Changelog for cadical-devel-1.3.0-1.fc33.x86_64.rpm :

* Mon Aug 03 2020 Jerry James - 1:1.3.0-1- Version 1.3.0
* Mon Jul 27 2020 Fedora Release Engineering - 1:1.2.1-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Tue Jan 28 2020 Fedora Release Engineering - 1:1.2.1-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Mon Nov 11 2019 Jerry James - 1:1.2.1-1- Version 1.2.1
* Wed Jul 24 2019 Jerry James - 1:1.0.3-3- Bump Epoch to fix upgrades from version 06w
* Mon Jul 22 2019 Jerry James - 1.0.3-2- Add ccadical.h to the -devel subpackage (bz 1731887)
* Sat Jul 13 2019 Jerry James - 1.0.3-1- New upstream version- Drop upstreamed -32bit patch
* Fri Jul 12 2019 Jerry James - 1.0.2-1- New upstream version
* Sat Jun 29 2019 Jerry James - 1.0.0-1- New upstream version
* Wed Jun 12 2019 Jerry James - 0-1.sr19- New upstream version- Adapt to upstream version scheme- Drop upstreamed -vector patch- Add -32bit patch- Add man pages
* Thu Jan 31 2019 Fedora Release Engineering - 06w-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild