Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

cryptominisat-devel-5.11.21-2.fc41 RPM for x86_64

From Fedora Rawhide for x86_64 / c

Name: cryptominisat-devel Distribution: Fedora Project
Version: 5.11.21 Vendor: Fedora Project
Release: 2.fc41 Build date: Tue Mar 26 00:41:31 2024
Group: Unspecified Build host: buildhw-x86-02.iad2.fedoraproject.org
Size: 64491 Source RPM: cryptominisat-5.11.21-2.fc41.src.rpm
Packager: Fedora Project
Url: https://www.msoos.org/
Summary: Header files for developing with cryptominisat
 
Header files for developing applications that use cryptominisat.

Provides

Requires

License

MIT AND BSD-3-Clause

Changelog

* Mon Mar 25 2024 Jerry James <loganjerry@gmail.com> - 5.11.21-2
  - Use tomllib instead of toml
* 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/include/cryptominisat5
/usr/include/cryptominisat5/cryptominisat.h
/usr/include/cryptominisat5/cryptominisat_c.h
/usr/include/cryptominisat5/dimacsparser.h
/usr/include/cryptominisat5/solvertypesmini.h
/usr/include/cryptominisat5/streambuffer.h
/usr/lib64/cmake/cryptominisat5
/usr/lib64/cmake/cryptominisat5/cryptominisat5Config.cmake
/usr/lib64/cmake/cryptominisat5/cryptominisat5ConfigVersion.cmake
/usr/lib64/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake
/usr/lib64/cmake/cryptominisat5/cryptominisat5Targets.cmake
/usr/lib64/libcryptominisat5.so

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 30 00:06:39 2024