python3-stp-2.3.4-7.fc42 - Fedora Packages

Date	Author	Change
2025-05-12	Carlos Rodriguez-Fernandez <carlosrodrifernandez at gmail dot com> - 2.3.4-7	- Rebuilt for cryptominisat-5.13 (rhbz#2365502)
2025-02-11	Jerry James <loganjerry at gmail dot com> - 2.3.4-6	- Rebuild for cryptominisat 5.12.1
2025-01-19	Fedora Release Engineering <releng at fedoraproject dot org> - 2.3.4-5	- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
2024-10-05	Carlos Rodriguez-Fernandez <carlosrodrifernandez at gmail dot com> - 2.3.4-4	- set up ci
2024-07-20	Fedora Release Engineering <releng at fedoraproject dot org> - 2.3.4-3	- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
2024-07-16	Jerry James <loganjerry at gmail dot com> - 2.3.4-2	- Rebuild for cryptominisat 5.11.22 - Fix the VCS field
2024-06-14	Jerry James <loganjerry at gmail dot com> - 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
2024-06-08	Python Maint <python dash maint at redhat dot com> - 2.3.3-32	- Rebuilt for Python 3.13
2024-02-09	Jerry James <loganjerry at gmail dot com> - 2.3.3-31	- Rebuild for cryptominisat 5.11.21
2024-01-31	Jerry James <loganjerry at gmail dot com> - 2.3.3-30	- Rebuild for cryptominisat 5.11.15

python3-stp-2.3.4-7.fc42 in Fedora 42