Thu, 02 Dec 2021 07:57:36 UTC

Information for build cadical-1.5.2-1.fc36

ID1849659
Package Namecadical
Version1.5.2
Release1.fc36
Epoch1
Sourcegit+https://src.fedoraproject.org/rpms/cadical.git#4b49886f71f9fbd6e8f986ea59115f5794210feb
SummarySimplified SAT solver
DescriptionCaDiCaL is a simplified Satisfiability solver. The goal of the development of CaDiCaL is to obtain a CDCL solver, which is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers.
Built byjjames
State complete
Volume DEFAULT
StartedThu, 28 Oct 2021 15:05:00 UTC
CompletedThu, 28 Oct 2021 15:11:06 UTC
Taskbuild (rawhide, /rpms/cadical.git:4b49886f71f9fbd6e8f986ea59115f5794210feb)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cadical.git#4b49886f71f9fbd6e8f986ea59115f5794210feb'}}
Tags
f36
RPMs
src
cadical-1.5.2-1.fc36.src.rpm (info) (download)
aarch64
cadical-1.5.2-1.fc36.aarch64.rpm (info) (download)
cadical-devel-1.5.2-1.fc36.aarch64.rpm (info) (download)
cadical-libs-1.5.2-1.fc36.aarch64.rpm (info) (download)
cadical-debuginfo-1.5.2-1.fc36.aarch64.rpm (info) (download)
cadical-debugsource-1.5.2-1.fc36.aarch64.rpm (info) (download)
cadical-libs-debuginfo-1.5.2-1.fc36.aarch64.rpm (info) (download)
armv7hl
cadical-1.5.2-1.fc36.armv7hl.rpm (info) (download)
cadical-devel-1.5.2-1.fc36.armv7hl.rpm (info) (download)
cadical-libs-1.5.2-1.fc36.armv7hl.rpm (info) (download)
cadical-debuginfo-1.5.2-1.fc36.armv7hl.rpm (info) (download)
cadical-debugsource-1.5.2-1.fc36.armv7hl.rpm (info) (download)
cadical-libs-debuginfo-1.5.2-1.fc36.armv7hl.rpm (info) (download)
i686
cadical-1.5.2-1.fc36.i686.rpm (info) (download)
cadical-devel-1.5.2-1.fc36.i686.rpm (info) (download)
cadical-libs-1.5.2-1.fc36.i686.rpm (info) (download)
cadical-debuginfo-1.5.2-1.fc36.i686.rpm (info) (download)
cadical-debugsource-1.5.2-1.fc36.i686.rpm (info) (download)
cadical-libs-debuginfo-1.5.2-1.fc36.i686.rpm (info) (download)
ppc64le
cadical-1.5.2-1.fc36.ppc64le.rpm (info) (download)
cadical-devel-1.5.2-1.fc36.ppc64le.rpm (info) (download)
cadical-libs-1.5.2-1.fc36.ppc64le.rpm (info) (download)
cadical-debuginfo-1.5.2-1.fc36.ppc64le.rpm (info) (download)
cadical-debugsource-1.5.2-1.fc36.ppc64le.rpm (info) (download)
cadical-libs-debuginfo-1.5.2-1.fc36.ppc64le.rpm (info) (download)
s390x
cadical-1.5.2-1.fc36.s390x.rpm (info) (download)
cadical-devel-1.5.2-1.fc36.s390x.rpm (info) (download)
cadical-libs-1.5.2-1.fc36.s390x.rpm (info) (download)
cadical-debuginfo-1.5.2-1.fc36.s390x.rpm (info) (download)
cadical-debugsource-1.5.2-1.fc36.s390x.rpm (info) (download)
cadical-libs-debuginfo-1.5.2-1.fc36.s390x.rpm (info) (download)
x86_64
cadical-1.5.2-1.fc36.x86_64.rpm (info) (download)
cadical-devel-1.5.2-1.fc36.x86_64.rpm (info) (download)
cadical-libs-1.5.2-1.fc36.x86_64.rpm (info) (download)
cadical-debuginfo-1.5.2-1.fc36.x86_64.rpm (info) (download)
cadical-debugsource-1.5.2-1.fc36.x86_64.rpm (info) (download)
cadical-libs-debuginfo-1.5.2-1.fc36.x86_64.rpm (info) (download)
Logs
armv7hl
hw_info.log
state.log
build.log
root.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
hw_info.log
state.log
build.log
root.log
mock_output.log
ppc64le
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
Changelog * Thu Oct 28 2021 Jerry James <loganjerry@gmail.com> - 1:1.5.2-1 - Version 1.5.2 * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.4.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Mon Jun 21 2021 Jerry James <loganjerry@gmail.com> - 1:1.4.1-1 - Version 1.4.1 * Sun Feb 14 2021 Jerry James <loganjerry@gmail.com> - 1:1.4.0-1 - Version 1.4.0 * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.3.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Mon Aug 03 2020 Jerry James <loganjerry@gmail.com> - 1:1.3.0-1 - Version 1.3.0 * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.2.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.2.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Mon Nov 11 2019 Jerry James <loganjerry@gmail.com> - 1:1.2.1-1 - Version 1.2.1