Wed, 26 Jan 2022 11:18:24 UTC

Information for build cryptominisat-5.6.8-4.fc32

ID1429896
Package Namecryptominisat
Version5.6.8
Release4.fc32
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/cryptominisat.git#57b22652174e80575b54435002d0663acfe2a485
SummarySAT solver
DescriptionCryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT solver. Highlights: - Instance simplification at every point of the search (inprocessing) - Over 100 configurable parameters to tune to specific needs - Collection of statistical data to MySQL database + javascript-based visualization of it - Clean C++ and python interfaces
Built byjjames
State complete
Volume DEFAULT
StartedThu, 16 Jan 2020 22:20:51 UTC
CompletedThu, 16 Jan 2020 22:24:00 UTC
Taskbuild (rawhide, /rpms/cryptominisat.git:57b22652174e80575b54435002d0663acfe2a485)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cryptominisat.git#57b22652174e80575b54435002d0663acfe2a485'}}
Tags
f32
RPMs
src
cryptominisat-5.6.8-4.fc32.src.rpm (info) (download)
aarch64
cryptominisat-5.6.8-4.fc32.aarch64.rpm (info) (download)
cryptominisat-devel-5.6.8-4.fc32.aarch64.rpm (info) (download)
cryptominisat-libs-5.6.8-4.fc32.aarch64.rpm (info) (download)
python3-cryptominisat-5.6.8-4.fc32.aarch64.rpm (info) (download)
cryptominisat-debuginfo-5.6.8-4.fc32.aarch64.rpm (info) (download)
cryptominisat-debugsource-5.6.8-4.fc32.aarch64.rpm (info) (download)
cryptominisat-libs-debuginfo-5.6.8-4.fc32.aarch64.rpm (info) (download)
python3-cryptominisat-debuginfo-5.6.8-4.fc32.aarch64.rpm (info) (download)
armv7hl
cryptominisat-5.6.8-4.fc32.armv7hl.rpm (info) (download)
cryptominisat-devel-5.6.8-4.fc32.armv7hl.rpm (info) (download)
cryptominisat-libs-5.6.8-4.fc32.armv7hl.rpm (info) (download)
python3-cryptominisat-5.6.8-4.fc32.armv7hl.rpm (info) (download)
cryptominisat-debuginfo-5.6.8-4.fc32.armv7hl.rpm (info) (download)
cryptominisat-debugsource-5.6.8-4.fc32.armv7hl.rpm (info) (download)
cryptominisat-libs-debuginfo-5.6.8-4.fc32.armv7hl.rpm (info) (download)
python3-cryptominisat-debuginfo-5.6.8-4.fc32.armv7hl.rpm (info) (download)
i686
cryptominisat-5.6.8-4.fc32.i686.rpm (info) (download)
cryptominisat-devel-5.6.8-4.fc32.i686.rpm (info) (download)
cryptominisat-libs-5.6.8-4.fc32.i686.rpm (info) (download)
python3-cryptominisat-5.6.8-4.fc32.i686.rpm (info) (download)
cryptominisat-debuginfo-5.6.8-4.fc32.i686.rpm (info) (download)
cryptominisat-debugsource-5.6.8-4.fc32.i686.rpm (info) (download)
cryptominisat-libs-debuginfo-5.6.8-4.fc32.i686.rpm (info) (download)
python3-cryptominisat-debuginfo-5.6.8-4.fc32.i686.rpm (info) (download)
ppc64le
cryptominisat-5.6.8-4.fc32.ppc64le.rpm (info) (download)
cryptominisat-devel-5.6.8-4.fc32.ppc64le.rpm (info) (download)
cryptominisat-libs-5.6.8-4.fc32.ppc64le.rpm (info) (download)
python3-cryptominisat-5.6.8-4.fc32.ppc64le.rpm (info) (download)
cryptominisat-debuginfo-5.6.8-4.fc32.ppc64le.rpm (info) (download)
cryptominisat-debugsource-5.6.8-4.fc32.ppc64le.rpm (info) (download)
cryptominisat-libs-debuginfo-5.6.8-4.fc32.ppc64le.rpm (info) (download)
python3-cryptominisat-debuginfo-5.6.8-4.fc32.ppc64le.rpm (info) (download)
s390x
cryptominisat-5.6.8-4.fc32.s390x.rpm (info) (download)
cryptominisat-devel-5.6.8-4.fc32.s390x.rpm (info) (download)
cryptominisat-libs-5.6.8-4.fc32.s390x.rpm (info) (download)
python3-cryptominisat-5.6.8-4.fc32.s390x.rpm (info) (download)
cryptominisat-debuginfo-5.6.8-4.fc32.s390x.rpm (info) (download)
cryptominisat-debugsource-5.6.8-4.fc32.s390x.rpm (info) (download)
cryptominisat-libs-debuginfo-5.6.8-4.fc32.s390x.rpm (info) (download)
python3-cryptominisat-debuginfo-5.6.8-4.fc32.s390x.rpm (info) (download)
x86_64
cryptominisat-5.6.8-4.fc32.x86_64.rpm (info) (download)
cryptominisat-devel-5.6.8-4.fc32.x86_64.rpm (info) (download)
cryptominisat-libs-5.6.8-4.fc32.x86_64.rpm (info) (download)
python3-cryptominisat-5.6.8-4.fc32.x86_64.rpm (info) (download)
cryptominisat-debuginfo-5.6.8-4.fc32.x86_64.rpm (info) (download)
cryptominisat-debugsource-5.6.8-4.fc32.x86_64.rpm (info) (download)
cryptominisat-libs-debuginfo-5.6.8-4.fc32.x86_64.rpm (info) (download)
python3-cryptominisat-debuginfo-5.6.8-4.fc32.x86_64.rpm (info) (download)
Logs
x86_64
build.log
hw_info.log
root.log
state.log
mock_output.log
ppc64le
hw_info.log
state.log
root.log
build.log
mock_output.log
aarch64
root.log
hw_info.log
state.log
build.log
mock_output.log
i686
hw_info.log
state.log
build.log
root.log
mock_output.log
s390x
root.log
state.log
build.log
hw_info.log
mock_output.log
armv7hl
build.log
root.log
hw_info.log
state.log
mock_output.log
Changelog * Thu Jan 16 2020 Jerry James <loganjerry@gmail.com> - 5.6.8-4 - Rebuild for m4ri 20200115 * Mon Aug 19 2019 Miro Hrončok <mhroncok@redhat.com> - 5.6.8-3 - Rebuilt for Python 3.8 * Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.8-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Tue Feb 19 2019 Jerry James <loganjerry@gmail.com> - 5.6.8-1 - New upstream release * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.6-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Thu Jan 24 2019 Jonathan Wakely <jwakely@redhat.com> - 5.6.6-3 - Rebuilt for Boost 1.69 * Thu Jan 17 2019 Jerry James <loganjerry@gmail.com> - 5.6.6-2 - Fix FTBFS with latest cmake release * Mon Dec 24 2018 Jerry James <loganjerry@gmail.com> - 5.6.6-1 - New upstream release * Sat Oct 13 2018 Jerry James <loganjerry@gmail.com> - 5.6.5-1 - New upstream release - Drop the python2 subpackage * Wed Aug 08 2018 Jerry James <loganjerry@gmail.com> - 5.6.4-1 - New upstream release * Sat Jul 21 2018 Jerry James <loganjerry@gmail.com> - 5.6.3-4 - Add Obsoletes and Provides for cryptominisat4 * Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Tue Jun 19 2018 Miro Hrončok <mhroncok@redhat.com> - 5.6.3-2 - Rebuilt for Python 3.7 * Tue Jun 12 2018 Jerry James <loganjerry@gmail.com> - 5.6.3-1 - New upstream release - License change to MIT - Add python3 subpackage * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 5.0.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Tue Jan 23 2018 Jonathan Wakely <jwakely@redhat.com> - 5.0.1-2 - Rebuilt for Boost 1.66