python3-pycryptosat-5.11.21-1.fc40 RPM for aarch64

From Fedora 40 for aarch64 / p

Python 3 interface to cryptominisat.

Provides

• python3-pycryptosat
• python-pycryptosat
• python3-cryptominisat
• python3-pycryptosat(aarch-64)
• python3.12-pycryptosat
• python3.12dist(pycryptosat)
• python3dist(pycryptosat)

Requires

• cryptominisat-libs(aarch-64) = 5.11.21-1.fc40
• ld-linux-aarch64.so.1()(64bit)
• ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libcryptominisat5.so.5.11()(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libgcc_s.so.1(GCC_3.3.1)(64bit)
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3.9)(64bit)
• libstdc++.so.6(GLIBCXX_3.4)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
• python(abi) = 3.12
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)

License

MIT AND BSD-3-Clause

Changelog

* Fri Feb 09 2024 Jerry James <loganjerry@gmail.com> - 5.11.21-1
  - Version 5.11.21
  - Stop building for 32-bit x86
* Wed Jan 31 2024 Jerry James <loganjerry@gmail.com> - 5.11.15-1
  - Version 5.11.15
  - Drop unused sqlite dependency
  - Dynamically generate python BuildRequires
  - Drop upstreamed setuptools and include patches
  - Unbundle picosat
  - Avoid rebuilding the entire library for python
  - Build with BreakID support
  - Rename the python subpackage to match upstream
* Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-18
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-17
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Thu Jan 18 2024 Jonathan Wakely <jwakely@redhat.com> - 5.8.0-16
  - Rebuilt for Boost 1.83
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-15
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jun 13 2023 Python Maint <python-maint@redhat.com> - 5.8.0-14
  - Rebuilt for Python 3.12
* Mon Feb 20 2023 Jonathan Wakely <jwakely@redhat.com> - 5.8.0-13
  - Rebuilt for Boost 1.81
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-12
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Tue Jan 17 2023 Jerry James <loganjerry@gmail.com> - 5.8.0-11
  - Add -include patch for GCC 13 compatibility
* Mon Dec 19 2022 Jerry James <loganjerry@gmail.com> - 5.8.0-11
  - Use setuptools instead of distutils (rhbz#2154857)
* Mon Aug 15 2022 Jerry James <loganjerry@gmail.com> - 5.8.0-10
  - Convert License tag to SPDX
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-10
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Mon Jun 13 2022 Python Maint <python-maint@redhat.com> - 5.8.0-9
  - Rebuilt for Python 3.11
* Wed May 04 2022 Thomas Rodgers <trodgers@redhat.com> - 5.8.0-8
  - Rebuilt for Boost 1.78

Files

/usr/lib/.build-id
/usr/lib/.build-id/c1
/usr/lib/.build-id/c1/56fd6274590fb92b088244ae0165fb120c6336
/usr/lib64/python3.12/site-packages/pycryptosat-5.11.21.dist-info
/usr/lib64/python3.12/site-packages/pycryptosat-5.11.21.dist-info/AUTHORS
/usr/lib64/python3.12/site-packages/pycryptosat-5.11.21.dist-info/INSTALLER
/usr/lib64/python3.12/site-packages/pycryptosat-5.11.21.dist-info/LICENSE.txt
/usr/lib64/python3.12/site-packages/pycryptosat-5.11.21.dist-info/METADATA
/usr/lib64/python3.12/site-packages/pycryptosat-5.11.21.dist-info/WHEEL
/usr/lib64/python3.12/site-packages/pycryptosat-5.11.21.dist-info/top_level.txt
/usr/lib64/python3.12/site-packages/pycryptosat.cpython-312-aarch64-linux-gnu.so
/usr/share/doc/python3-pycryptosat
/usr/share/doc/python3-pycryptosat/README.md

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri May 10 04:15:05 2024