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.3 | Vendor: Fedora Project |
Release: 27.fc39 | Build date: Sat Jul 22 04:42:32 2023 |
Group: Unspecified | Build host: buildvm-a64-12.iad2.fedoraproject.org |
Size: 51871 | Source RPM: stp-2.3.3-27.fc39.src.rpm |
Packager: Fedora Project | |
Url: http://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
* 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 * Mon Jun 13 2022 Python Maint <python-maint@redhat.com> - 2.3.3-21 - Rebuilt for Python 3.11 * Wed May 04 2022 Thomas Rodgers <trodgers@redhat.com> - 2.3.3-20 - Rebuilt for Boost 1.78 * Sat Jan 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-19 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Sat Aug 07 2021 Jonathan Wakely <jwakely@redhat.com> - 2.3.3-18 - Rebuilt for Boost 1.76 * Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-17 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_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, Tue Jul 9 22:15:25 2024