Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: stp-devel | Distribution: Fedora Project |
Version: 2.3.4 | Vendor: Fedora Project |
Release: 1.fc41 | Build date: Fri Jun 14 21:31:57 2024 |
Group: Unspecified | Build host: buildvm-ppc64le-06.iad2.fedoraproject.org |
Size: 52820 | Source RPM: stp-2.3.4-1.fc41.src.rpm |
Packager: Fedora Project | |
Url: https://stp.github.io/ | |
Summary: Development files for STP constraint solver/decision procedure |
Development files for the STP (Simple Theorem Prover), a constraint solver (also referred to as a decision procedure or automated prover). Provides a static library.
MIT
* 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 * Mon Feb 20 2023 Jonathan Wakely <jwakely@redhat.com> - 2.3.3-25 - Rebuilt for Boost 1.81 * Sat Jan 21 2023 Jerry James <loganjerry@gmail.com> - 2.3.3-24 - Add cstdint patch to fix FTBFS * Sat Jan 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-24 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Wed Dec 14 2022 Jerry James <loganjerry@gmail.com> - 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 <releng@fedoraproject.org> - 2.3.3-22 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
/usr/include/stp /usr/include/stp/c_interface.h /usr/lib64/cmake/STP /usr/lib64/cmake/STP/STPConfig.cmake /usr/lib64/cmake/STP/STPConfigVersion.cmake /usr/lib64/cmake/STP/STPTargets-relwithdebinfo.cmake /usr/lib64/cmake/STP/STPTargets.cmake /usr/lib64/libstp.so
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed Jul 17 01:05:04 2024