Changelog for python3-stp-2.3.4-1.fc40.noarch.rpm :

* Fri Jun 14 2024 Jerry James - 2.3.4-1- Version 2.3.4- Drop upstreamed format patch- Add patch to adapt to minisat using macros instead of variables- Add BuildRequires: gmp-devel
* Sat Jun 08 2024 Python Maint - 2.3.3-32- Rebuilt for Python 3.13
* Fri Feb 09 2024 Jerry James - 2.3.3-31- Rebuild for cryptominisat 5.11.21
* Wed Jan 31 2024 Jerry James - 2.3.3-30- Rebuild for cryptominisat 5.11.15
* Sat Jan 27 2024 Fedora Release Engineering - 2.3.3-29- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Thu Jan 18 2024 Jonathan Wakely - 2.3.3-28- Rebuilt for Boost 1.83
* Tue Jan 16 2024 Jerry James - 2.3.3-27- Stop building for 32-bit x86
* Sat Jul 22 2023 Fedora Release Engineering - 2.3.3-27- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jun 13 2023 Python Maint - 2.3.3-26- Rebuilt for Python 3.12
* Mon Feb 20 2023 Jonathan Wakely - 2.3.3-25- Rebuilt for Boost 1.81
* Sat Jan 21 2023 Jerry James - 2.3.3-24- Add cstdint patch to fix FTBFS
* Sat Jan 21 2023 Fedora Release Engineering - 2.3.3-24- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Wed Dec 14 2022 Jerry James - 2.3.3-23- Add distutils patch- Use more specific globs in %files- Convert License tags to SPDX
* Sat Jul 23 2022 Fedora Release Engineering - 2.3.3-22- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild