SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
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
 
ICM