Tue, 17 Sep 2019 22:36:04 UTC

Information for build cadical-1.0.2-1.fc31

ID1312793
Package Namecadical
Version1.0.2
Release1.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/cadical.git#c0434c1c1b470f801b56c22779855492df43111a
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
StartedSat, 13 Jul 2019 14:11:30 UTC
CompletedSat, 13 Jul 2019 14:19:28 UTC
Taskbuild (rawhide, /rpms/cadical.git:c0434c1c1b470f801b56c22779855492df43111a)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cadical.git#c0434c1c1b470f801b56c22779855492df43111a'}}
Tags
f31
RPMs
src
cadical-1.0.2-1.fc31.src.rpm (info) (download)
aarch64
cadical-1.0.2-1.fc31.aarch64.rpm (info) (download)
cadical-devel-1.0.2-1.fc31.aarch64.rpm (info) (download)
cadical-libs-1.0.2-1.fc31.aarch64.rpm (info) (download)
cadical-debuginfo-1.0.2-1.fc31.aarch64.rpm (info) (download)
cadical-debugsource-1.0.2-1.fc31.aarch64.rpm (info) (download)
cadical-libs-debuginfo-1.0.2-1.fc31.aarch64.rpm (info) (download)
armv7hl
cadical-1.0.2-1.fc31.armv7hl.rpm (info) (download)
cadical-devel-1.0.2-1.fc31.armv7hl.rpm (info) (download)
cadical-libs-1.0.2-1.fc31.armv7hl.rpm (info) (download)
cadical-debuginfo-1.0.2-1.fc31.armv7hl.rpm (info) (download)
cadical-debugsource-1.0.2-1.fc31.armv7hl.rpm (info) (download)
cadical-libs-debuginfo-1.0.2-1.fc31.armv7hl.rpm (info) (download)
i686
cadical-1.0.2-1.fc31.i686.rpm (info) (download)
cadical-devel-1.0.2-1.fc31.i686.rpm (info) (download)
cadical-libs-1.0.2-1.fc31.i686.rpm (info) (download)
cadical-debuginfo-1.0.2-1.fc31.i686.rpm (info) (download)
cadical-debugsource-1.0.2-1.fc31.i686.rpm (info) (download)
cadical-libs-debuginfo-1.0.2-1.fc31.i686.rpm (info) (download)
ppc64le
cadical-1.0.2-1.fc31.ppc64le.rpm (info) (download)
cadical-devel-1.0.2-1.fc31.ppc64le.rpm (info) (download)
cadical-libs-1.0.2-1.fc31.ppc64le.rpm (info) (download)
cadical-debuginfo-1.0.2-1.fc31.ppc64le.rpm (info) (download)
cadical-debugsource-1.0.2-1.fc31.ppc64le.rpm (info) (download)
cadical-libs-debuginfo-1.0.2-1.fc31.ppc64le.rpm (info) (download)
s390x
cadical-1.0.2-1.fc31.s390x.rpm (info) (download)
cadical-devel-1.0.2-1.fc31.s390x.rpm (info) (download)
cadical-libs-1.0.2-1.fc31.s390x.rpm (info) (download)
cadical-debuginfo-1.0.2-1.fc31.s390x.rpm (info) (download)
cadical-debugsource-1.0.2-1.fc31.s390x.rpm (info) (download)
cadical-libs-debuginfo-1.0.2-1.fc31.s390x.rpm (info) (download)
x86_64
cadical-1.0.2-1.fc31.x86_64.rpm (info) (download)
cadical-devel-1.0.2-1.fc31.x86_64.rpm (info) (download)
cadical-libs-1.0.2-1.fc31.x86_64.rpm (info) (download)
cadical-debuginfo-1.0.2-1.fc31.x86_64.rpm (info) (download)
cadical-debugsource-1.0.2-1.fc31.x86_64.rpm (info) (download)
cadical-libs-debuginfo-1.0.2-1.fc31.x86_64.rpm (info) (download)
Logs
x86_64
state.log
build.log
root.log
hw_info.log
mock_output.log
ppc64le
build.log
state.log
hw_info.log
root.log
mock_output.log
aarch64
state.log
root.log
hw_info.log
build.log
mock_output.log
i686
build.log
hw_info.log
state.log
root.log
mock_output.log
s390x
hw_info.log
state.log
build.log
root.log
mock_output.log
armv7hl
root.log
state.log
hw_info.log
build.log
mock_output.log
Changelog * Fri Jul 12 2019 Jerry James <loganjerry@gmail.com> - 1.0.2-1 - New upstream version * Sat Jun 29 2019 Jerry James <loganjerry@gmail.com> - 1.0.0-1 - New upstream version * Wed Jun 12 2019 Jerry James <loganjerry@gmail.com> - 0-1.sr19 - New upstream version - Adapt to upstream version scheme - Drop upstreamed -vector patch - Add -32bit patch - Add man pages * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 06w-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 06w-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Fri Jul 06 2018 Jerry James <loganjerry@gmail.com> - 06w-1 - Initial RPM