stp-devel-2.3.4-6.fc43 in Fedora Rawhide
↵ Return to the main page of stp-devel
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 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 |
| 2024-01-27 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.3.3-29 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
Dependencies
Provides
- cmake(STP)
- cmake(stp)
- stp-devel
- stp-devel(x86-64)
Files
- usr/
- include/
- stp/
- c_interface.h
- stp/
- lib64/
- cmake/
- STP/
- STPConfig.cmake
- STPConfigVersion.cmake
- STPTargets-relwithdebinfo.cmake
- STPTargets.cmake
- STP/
- libstp.so
- cmake/
- include/
Sources on Pagure