Changelog for
python3-pysmt-0.9.0-1.fc33.noarch.rpm :
* Tue Aug 11 2020 Fabian Affolter
- 0.9.0-1- Update to latest upstream release 0.9.0
* Wed Jul 29 2020 Fedora Release Engineering - 0.8.0-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Tue May 26 2020 Miro HronĨok - 0.8.0-3- Rebuilt for Python 3.9
* Thu Mar 26 2020 Fabian Affolter - 0.8.0-2- Fix typo in description (rhbz#1808467)
* Fri Feb 28 2020 Fabian Affolter - 0.8.0-1- Initial package for Fedora