Thu, 27 Jan 2022 15:52:54 UTC

Information for build cryptominisat-5.6.3-1.fc28

ID1091765
Package Namecryptominisat
Version5.6.3
Release1.fc28
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/cryptominisat.git#6232da0697e2861fd7d92cdbda11ed1942239f8c
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 fedora_koji_archive02
StartedThu, 14 Jun 2018 01:18:34 UTC
CompletedThu, 14 Jun 2018 01:26:53 UTC
Taskbuild (f28-candidate, /rpms/cryptominisat.git:6232da0697e2861fd7d92cdbda11ed1942239f8c)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cryptominisat.git#6232da0697e2861fd7d92cdbda11ed1942239f8c'}}
Tags
f28-updates
RPMs
src
cryptominisat-5.6.3-1.fc28.src.rpm (info) (download)
aarch64
cryptominisat-5.6.3-1.fc28.aarch64.rpm (info) (download)
cryptominisat-devel-5.6.3-1.fc28.aarch64.rpm (info) (download)
cryptominisat-libs-5.6.3-1.fc28.aarch64.rpm (info) (download)
python2-cryptominisat-5.6.3-1.fc28.aarch64.rpm (info) (download)
python3-cryptominisat-5.6.3-1.fc28.aarch64.rpm (info) (download)
cryptominisat-debuginfo-5.6.3-1.fc28.aarch64.rpm (info) (download)
cryptominisat-debugsource-5.6.3-1.fc28.aarch64.rpm (info) (download)
cryptominisat-libs-debuginfo-5.6.3-1.fc28.aarch64.rpm (info) (download)
python2-cryptominisat-debuginfo-5.6.3-1.fc28.aarch64.rpm (info) (download)
python3-cryptominisat-debuginfo-5.6.3-1.fc28.aarch64.rpm (info) (download)
armv7hl
cryptominisat-5.6.3-1.fc28.armv7hl.rpm (info) (download)
cryptominisat-devel-5.6.3-1.fc28.armv7hl.rpm (info) (download)
cryptominisat-libs-5.6.3-1.fc28.armv7hl.rpm (info) (download)
python2-cryptominisat-5.6.3-1.fc28.armv7hl.rpm (info) (download)
python3-cryptominisat-5.6.3-1.fc28.armv7hl.rpm (info) (download)
cryptominisat-debuginfo-5.6.3-1.fc28.armv7hl.rpm (info) (download)
cryptominisat-debugsource-5.6.3-1.fc28.armv7hl.rpm (info) (download)
cryptominisat-libs-debuginfo-5.6.3-1.fc28.armv7hl.rpm (info) (download)
python2-cryptominisat-debuginfo-5.6.3-1.fc28.armv7hl.rpm (info) (download)
python3-cryptominisat-debuginfo-5.6.3-1.fc28.armv7hl.rpm (info) (download)
i686
cryptominisat-5.6.3-1.fc28.i686.rpm (info) (download)
cryptominisat-devel-5.6.3-1.fc28.i686.rpm (info) (download)
cryptominisat-libs-5.6.3-1.fc28.i686.rpm (info) (download)
python2-cryptominisat-5.6.3-1.fc28.i686.rpm (info) (download)
python3-cryptominisat-5.6.3-1.fc28.i686.rpm (info) (download)
cryptominisat-debuginfo-5.6.3-1.fc28.i686.rpm (info) (download)
cryptominisat-debugsource-5.6.3-1.fc28.i686.rpm (info) (download)
cryptominisat-libs-debuginfo-5.6.3-1.fc28.i686.rpm (info) (download)
python2-cryptominisat-debuginfo-5.6.3-1.fc28.i686.rpm (info) (download)
python3-cryptominisat-debuginfo-5.6.3-1.fc28.i686.rpm (info) (download)
ppc64
cryptominisat-5.6.3-1.fc28.ppc64.rpm (info) (download)
cryptominisat-devel-5.6.3-1.fc28.ppc64.rpm (info) (download)
cryptominisat-libs-5.6.3-1.fc28.ppc64.rpm (info) (download)
python2-cryptominisat-5.6.3-1.fc28.ppc64.rpm (info) (download)
python3-cryptominisat-5.6.3-1.fc28.ppc64.rpm (info) (download)
cryptominisat-debuginfo-5.6.3-1.fc28.ppc64.rpm (info) (download)
cryptominisat-debugsource-5.6.3-1.fc28.ppc64.rpm (info) (download)
cryptominisat-libs-debuginfo-5.6.3-1.fc28.ppc64.rpm (info) (download)
python2-cryptominisat-debuginfo-5.6.3-1.fc28.ppc64.rpm (info) (download)
python3-cryptominisat-debuginfo-5.6.3-1.fc28.ppc64.rpm (info) (download)
ppc64le
cryptominisat-5.6.3-1.fc28.ppc64le.rpm (info) (download)
cryptominisat-devel-5.6.3-1.fc28.ppc64le.rpm (info) (download)
cryptominisat-libs-5.6.3-1.fc28.ppc64le.rpm (info) (download)
python2-cryptominisat-5.6.3-1.fc28.ppc64le.rpm (info) (download)
python3-cryptominisat-5.6.3-1.fc28.ppc64le.rpm (info) (download)
cryptominisat-debuginfo-5.6.3-1.fc28.ppc64le.rpm (info) (download)
cryptominisat-debugsource-5.6.3-1.fc28.ppc64le.rpm (info) (download)
cryptominisat-libs-debuginfo-5.6.3-1.fc28.ppc64le.rpm (info) (download)
python2-cryptominisat-debuginfo-5.6.3-1.fc28.ppc64le.rpm (info) (download)
python3-cryptominisat-debuginfo-5.6.3-1.fc28.ppc64le.rpm (info) (download)
s390x
cryptominisat-5.6.3-1.fc28.s390x.rpm (info) (download)
cryptominisat-devel-5.6.3-1.fc28.s390x.rpm (info) (download)
cryptominisat-libs-5.6.3-1.fc28.s390x.rpm (info) (download)
python2-cryptominisat-5.6.3-1.fc28.s390x.rpm (info) (download)
python3-cryptominisat-5.6.3-1.fc28.s390x.rpm (info) (download)
cryptominisat-debuginfo-5.6.3-1.fc28.s390x.rpm (info) (download)
cryptominisat-debugsource-5.6.3-1.fc28.s390x.rpm (info) (download)
cryptominisat-libs-debuginfo-5.6.3-1.fc28.s390x.rpm (info) (download)
python2-cryptominisat-debuginfo-5.6.3-1.fc28.s390x.rpm (info) (download)
python3-cryptominisat-debuginfo-5.6.3-1.fc28.s390x.rpm (info) (download)
x86_64
cryptominisat-5.6.3-1.fc28.x86_64.rpm (info) (download)
cryptominisat-devel-5.6.3-1.fc28.x86_64.rpm (info) (download)
cryptominisat-libs-5.6.3-1.fc28.x86_64.rpm (info) (download)
python2-cryptominisat-5.6.3-1.fc28.x86_64.rpm (info) (download)
python3-cryptominisat-5.6.3-1.fc28.x86_64.rpm (info) (download)
cryptominisat-debuginfo-5.6.3-1.fc28.x86_64.rpm (info) (download)
cryptominisat-debugsource-5.6.3-1.fc28.x86_64.rpm (info) (download)
cryptominisat-libs-debuginfo-5.6.3-1.fc28.x86_64.rpm (info) (download)
python2-cryptominisat-debuginfo-5.6.3-1.fc28.x86_64.rpm (info) (download)
python3-cryptominisat-debuginfo-5.6.3-1.fc28.x86_64.rpm (info) (download)
Logs
x86_64
hw_info.log
build.log
state.log
root.log
mock_output.log
ppc64le
hw_info.log
state.log
root.log
build.log
mock_output.log
aarch64
build.log
state.log
hw_info.log
root.log
mock_output.log
ppc64
state.log
build.log
root.log
hw_info.log
mock_output.log
i686
state.log
root.log
hw_info.log
build.log
mock_output.log
s390x
hw_info.log
state.log
build.log
root.log
mock_output.log
armv7hl
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * 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 * Sat Nov 25 2017 Jerry James <loganjerry@gmail.com> - 5.0.1-1 - Update to major version 5 * Sat Sep 23 2017 Jerry James <loganjerry@gmail.com> - 2.9.11-6 - Update the mariadb BR (bz 1493618) * Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.9.11-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.9.11-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Mon May 15 2017 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.11-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_27_Mass_Rebuild * Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.9.11-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Sat Mar 19 2016 Jerry James <loganjerry@gmail.com> - 2.9.11-1 - New upstream release * Sat Mar 05 2016 Jerry James <loganjerry@gmail.com> - 2.9.10-3 - post/postun scripts are for libs, not the main package * Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 2.9.10-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Fri Sep 04 2015 Jerry James <loganjerry@gmail.com> - 2.9.10-1 - New upstream release * Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.9-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild * Sat May 02 2015 Kalev Lember <kalevlember@gmail.com> - 2.9.9-5 - Rebuilt for GCC 5 C++11 ABI change * Wed Feb 11 2015 Jerry James <loganjerry@gmail.com> - 2.9.9-4 - Use license macro * Sat Aug 16 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.9-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild * Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.9-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Tue Mar 18 2014 Jerry James <loganjerry@gmail.com> - 2.9.9-1 - New upstream release * Mon Sep 23 2013 Jerry James <loganjerry@gmail.com> - 2.9.8-1 - New upstream release * Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.6-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Mon Mar 11 2013 Jerry James <loganjerry@gmail.com> - 2.9.6-1 - New upstream release * Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.5-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild * Mon Aug 06 2012 Jerry James <loganjerry@gmail.com> - 2.9.5-1 - New upstream release - Project files now carry the MIT license * Wed Jul 18 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.3-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild * Mon Apr 16 2012 Jerry James <loganjerry@gmail.com> - 2.9.3-1 - New upstream version * Tue Feb 28 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.2-2 - Rebuilt for c++ ABI breakage * Mon Jan 23 2012 Jerry James <loganjerry@gmail.com> - 2.9.2-1 - New upstream version - Man page is now upstream - All patches have been applied upstream - Tests have been removed from the source distribution * Mon Jan 09 2012 Jerry James <loganjerry@gmail.com> - 2.9.1-3 - Rebuild for GCC 4.7 * Mon Dec 19 2011 Dan HorĂ¡k <dan[at]danny.cz> - 2.9.1-2 - FPU handling is x86 specific - set library path so the test is run * Wed Dec 07 2011 Jerry James <loganjerry@gmail.com> - 2.9.1-1 - Initial RPM