Changelog for python3-pysmt-0.9.0-2.fc34.noarch.rpm :

* Wed Jan 27 2021 Fedora Release Engineering - 0.9.0-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* 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