Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: stp-debuginfo | Distribution: Fedora Project |
Version: 2.3.4 | Vendor: Fedora Project |
Release: 7.fc42 | Build date: Mon May 12 17:13:07 2025 |
Group: Development/Debug | Build host: buildvm-a64-39.iad2.fedoraproject.org |
Size: 32086247 | Source RPM: stp-2.3.4-7.fc42.src.rpm |
Packager: Fedora Project | |
Url: https://stp.github.io/ | |
Summary: Debug information for package stp |
This package provides debug information for package stp. Debug information is useful when developing applications that use this package or when debugging this package.
MIT AND MIT-Modern-Variant AND LGPL-2.0-or-later AND BSD-3-Clause
* Mon May 12 2025 Carlos Rodriguez-Fernandez <carlosrodrifernandez@gmail.com> - 2.3.4-7 - Rebuilt for cryptominisat-5.13 (rhbz#2365502) * Tue Feb 11 2025 Jerry James <loganjerry@gmail.com> - 2.3.4-6 - Rebuild for cryptominisat 5.12.1 * Sun Jan 19 2025 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.4-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Sat Oct 05 2024 Carlos Rodriguez-Fernandez <carlosrodrifernandez@gmail.com> - 2.3.4-4 - set up ci * Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.4-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 2.3.4-2 - Rebuild for cryptominisat 5.11.22 - Fix the VCS field * Fri Jun 14 2024 Jerry James <loganjerry@gmail.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 * Sat Jun 08 2024 Python Maint <python-maint@redhat.com> - 2.3.3-32 - Rebuilt for Python 3.13 * Fri Feb 09 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-31 - Rebuild for cryptominisat 5.11.21 * Wed Jan 31 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-30 - Rebuild for cryptominisat 5.11.15 * Sat Jan 27 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-29 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Thu Jan 18 2024 Jonathan Wakely <jwakely@redhat.com> - 2.3.3-28 - Rebuilt for Boost 1.83 * Tue Jan 16 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-27 - Stop building for 32-bit x86 * Sat Jul 22 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-27 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Tue Jun 13 2023 Python Maint <python-maint@redhat.com> - 2.3.3-26 - Rebuilt for Python 3.12
/usr/lib/debug /usr/lib/debug/.build-id /usr/lib/debug/.build-id/6c /usr/lib/debug/.build-id/6c/1a5a106a5bf61e643205167ab3a0dbdbc7fecd /usr/lib/debug/.build-id/6c/1a5a106a5bf61e643205167ab3a0dbdbc7fecd.debug /usr/lib/debug/.build-id/c7 /usr/lib/debug/.build-id/c7/22730aba5bf598c6a252133a0346b0c6a8a7d5 /usr/lib/debug/.build-id/c7/22730aba5bf598c6a252133a0346b0c6a8a7d5.debug /usr/lib/debug/.build-id/e6 /usr/lib/debug/.build-id/e6/913c8e6c29b4e6f10feeecad00848f5d3c98db /usr/lib/debug/.build-id/e6/913c8e6c29b4e6f10feeecad00848f5d3c98db.debug /usr/lib/debug/.dwz /usr/lib/debug/.dwz/stp-2.3.4-7.fc42.aarch64 /usr/lib/debug/usr /usr/lib/debug/usr/bin /usr/lib/debug/usr/bin/stp-2.3.4-7.fc42.aarch64.debug /usr/lib/debug/usr/bin/stp_simple-2.3.4-7.fc42.aarch64.debug /usr/lib/debug/usr/lib64 /usr/lib/debug/usr/lib64/libstp.so.2.3-2.3.4-7.fc42.aarch64.debug
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu Jun 5 02:55:11 2025