Changelog for python3-pysmt-0.8.0-2.fc31.noarch.rpm :

* 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