stp-devel-2.3.4-3.fc41 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 |
|---|---|---|
| 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 |
| 2024-01-18 | Jonathan Wakely <jwakely at redhat dot com> - 2.3.3-28 | - Rebuilt for Boost 1.83 |
| 2024-01-16 | Jerry James <loganjerry at gmail dot com> - 2.3.3-27 | - Stop building for 32-bit x86 |
| 2023-07-22 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.3.3-27 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_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