cryptominisat-5.8.0-1.fc33 | Build Info

Information for build cryptominisat-5.8.0-1.fc33

1646322

Package Name

cryptominisat

Version

5.8.0

Release

1.fc33

Epoch

Source

git+https://src.fedoraproject.org/rpms/cryptominisat.git#9e4601117c9f0a7ed2743877dba43e58268eabf2

Summary

SAT solver

Description

CryptoMiniSat 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 by

jjames

State

complete

Volume

DEFAULT

Started

Fri, 27 Nov 2020 19:35:27 UTC

Completed

Fri, 27 Nov 2020 19:41:32 UTC

Task

build (f33-candidate, /rpms/cryptominisat.git:9e4601117c9f0a7ed2743877dba43e58268eabf2)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cryptominisat.git#9e4601117c9f0a7ed2743877dba43e58268eabf2'}}

Tags

f33-updates

RPMs

src
	cryptominisat-5.8.0-1.fc33.src.rpm (info) (download)
aarch64
	cryptominisat-5.8.0-1.fc33.aarch64.rpm (info) (download)
	cryptominisat-devel-5.8.0-1.fc33.aarch64.rpm (info) (download)
	cryptominisat-libs-5.8.0-1.fc33.aarch64.rpm (info) (download)
	python3-cryptominisat-5.8.0-1.fc33.aarch64.rpm (info) (download)
	cryptominisat-debuginfo-5.8.0-1.fc33.aarch64.rpm (info) (download)
	cryptominisat-debugsource-5.8.0-1.fc33.aarch64.rpm (info) (download)
	cryptominisat-libs-debuginfo-5.8.0-1.fc33.aarch64.rpm (info) (download)
	python3-cryptominisat-debuginfo-5.8.0-1.fc33.aarch64.rpm (info) (download)
armv7hl
	cryptominisat-5.8.0-1.fc33.armv7hl.rpm (info) (download)
	cryptominisat-devel-5.8.0-1.fc33.armv7hl.rpm (info) (download)
	cryptominisat-libs-5.8.0-1.fc33.armv7hl.rpm (info) (download)
	python3-cryptominisat-5.8.0-1.fc33.armv7hl.rpm (info) (download)
	cryptominisat-debuginfo-5.8.0-1.fc33.armv7hl.rpm (info) (download)
	cryptominisat-debugsource-5.8.0-1.fc33.armv7hl.rpm (info) (download)
	cryptominisat-libs-debuginfo-5.8.0-1.fc33.armv7hl.rpm (info) (download)
	python3-cryptominisat-debuginfo-5.8.0-1.fc33.armv7hl.rpm (info) (download)
i686
	cryptominisat-5.8.0-1.fc33.i686.rpm (info) (download)
	cryptominisat-devel-5.8.0-1.fc33.i686.rpm (info) (download)
	cryptominisat-libs-5.8.0-1.fc33.i686.rpm (info) (download)
	python3-cryptominisat-5.8.0-1.fc33.i686.rpm (info) (download)
	cryptominisat-debuginfo-5.8.0-1.fc33.i686.rpm (info) (download)
	cryptominisat-debugsource-5.8.0-1.fc33.i686.rpm (info) (download)
	cryptominisat-libs-debuginfo-5.8.0-1.fc33.i686.rpm (info) (download)
	python3-cryptominisat-debuginfo-5.8.0-1.fc33.i686.rpm (info) (download)
ppc64le
	cryptominisat-5.8.0-1.fc33.ppc64le.rpm (info) (download)
	cryptominisat-devel-5.8.0-1.fc33.ppc64le.rpm (info) (download)
	cryptominisat-libs-5.8.0-1.fc33.ppc64le.rpm (info) (download)
	python3-cryptominisat-5.8.0-1.fc33.ppc64le.rpm (info) (download)
	cryptominisat-debuginfo-5.8.0-1.fc33.ppc64le.rpm (info) (download)
	cryptominisat-debugsource-5.8.0-1.fc33.ppc64le.rpm (info) (download)
	cryptominisat-libs-debuginfo-5.8.0-1.fc33.ppc64le.rpm (info) (download)
	python3-cryptominisat-debuginfo-5.8.0-1.fc33.ppc64le.rpm (info) (download)
s390x
	cryptominisat-5.8.0-1.fc33.s390x.rpm (info) (download)
	cryptominisat-devel-5.8.0-1.fc33.s390x.rpm (info) (download)
	cryptominisat-libs-5.8.0-1.fc33.s390x.rpm (info) (download)
	python3-cryptominisat-5.8.0-1.fc33.s390x.rpm (info) (download)
	cryptominisat-debuginfo-5.8.0-1.fc33.s390x.rpm (info) (download)
	cryptominisat-debugsource-5.8.0-1.fc33.s390x.rpm (info) (download)
	cryptominisat-libs-debuginfo-5.8.0-1.fc33.s390x.rpm (info) (download)
	python3-cryptominisat-debuginfo-5.8.0-1.fc33.s390x.rpm (info) (download)
x86_64
	cryptominisat-5.8.0-1.fc33.x86_64.rpm (info) (download)
	cryptominisat-devel-5.8.0-1.fc33.x86_64.rpm (info) (download)
	cryptominisat-libs-5.8.0-1.fc33.x86_64.rpm (info) (download)
	python3-cryptominisat-5.8.0-1.fc33.x86_64.rpm (info) (download)
	cryptominisat-debuginfo-5.8.0-1.fc33.x86_64.rpm (info) (download)
	cryptominisat-debugsource-5.8.0-1.fc33.x86_64.rpm (info) (download)
	cryptominisat-libs-debuginfo-5.8.0-1.fc33.x86_64.rpm (info) (download)
	python3-cryptominisat-debuginfo-5.8.0-1.fc33.x86_64.rpm (info) (download)

Logs

armv7hl
	state.log
	hw_info.log
	root.log
	build.log
	mock_output.log
i686
	hw_info.log
	state.log
	build.log
	root.log
	mock_output.log
x86_64
	hw_info.log
	state.log
	build.log
	root.log
	mock_output.log
aarch64
	root.log
	state.log
	hw_info.log
	build.log
	mock_output.log
ppc64le
	hw_info.log
	state.log
	build.log
	root.log
	mock_output.log
s390x
	hw_info.log
	state.log
	build.log
	root.log
	mock_output.log

Changelog

* Fri Nov 27 2020 Jerry James <loganjerry@gmail.com> - 5.8.0-1 - Version 5.8.0 * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 5.7.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Thu May 28 2020 Jonathan Wakely <jwakely@redhat.com> - 5.7.1-3 - Rebuilt for Boost 1.73 * Tue May 26 2020 Miro Hrončok <mhroncok@redhat.com> - 5.7.1-2 - Rebuilt for Python 3.9 * Thu May 07 2020 Jerry James <loganjerry@gmail.com> - 5.7.1-1 - Version 5.7.1 * Sat Apr 25 2020 Jerry James <loganjerry@gmail.com> - 5.7.0-1 - Version 5.7.0 * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.8-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Mon Jan 27 2020 Jerry James <loganjerry@gmail.com> - 5.6.8-5 - Rebuild for m4ri 20200125 * 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

Main Site Links:

Information for build cryptominisat-5.8.0-1.fc33