Sun, 21 Jul 2019 08:36:03 UTC

Information for build cadical-0-1.sr19.fc30

ID1286873
Package Namecadical
Version0
Release1.sr19.fc30
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/cadical.git#bd3eebe7a82c68dacc46aaf654c9e66e13ca74cc
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, 13 Jun 2019 02:44:51 UTC
CompletedThu, 13 Jun 2019 02:51:49 UTC
Taskbuild (f30-candidate, /rpms/cadical.git:bd3eebe7a82c68dacc46aaf654c9e66e13ca74cc)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cadical.git#bd3eebe7a82c68dacc46aaf654c9e66e13ca74cc'}}
Tags
f30-updates
RPMs
src
cadical-0-1.sr19.fc30.src.rpm (info) (download)
aarch64
cadical-0-1.sr19.fc30.aarch64.rpm (info) (download)
cadical-devel-0-1.sr19.fc30.aarch64.rpm (info) (download)
cadical-libs-0-1.sr19.fc30.aarch64.rpm (info) (download)
cadical-debuginfo-0-1.sr19.fc30.aarch64.rpm (info) (download)
cadical-debugsource-0-1.sr19.fc30.aarch64.rpm (info) (download)
cadical-libs-debuginfo-0-1.sr19.fc30.aarch64.rpm (info) (download)
armv7hl
cadical-0-1.sr19.fc30.armv7hl.rpm (info) (download)
cadical-devel-0-1.sr19.fc30.armv7hl.rpm (info) (download)
cadical-libs-0-1.sr19.fc30.armv7hl.rpm (info) (download)
cadical-debuginfo-0-1.sr19.fc30.armv7hl.rpm (info) (download)
cadical-debugsource-0-1.sr19.fc30.armv7hl.rpm (info) (download)
cadical-libs-debuginfo-0-1.sr19.fc30.armv7hl.rpm (info) (download)
i686
cadical-0-1.sr19.fc30.i686.rpm (info) (download)
cadical-devel-0-1.sr19.fc30.i686.rpm (info) (download)
cadical-libs-0-1.sr19.fc30.i686.rpm (info) (download)
cadical-debuginfo-0-1.sr19.fc30.i686.rpm (info) (download)
cadical-debugsource-0-1.sr19.fc30.i686.rpm (info) (download)
cadical-libs-debuginfo-0-1.sr19.fc30.i686.rpm (info) (download)
ppc64le
cadical-0-1.sr19.fc30.ppc64le.rpm (info) (download)
cadical-devel-0-1.sr19.fc30.ppc64le.rpm (info) (download)
cadical-libs-0-1.sr19.fc30.ppc64le.rpm (info) (download)
cadical-debuginfo-0-1.sr19.fc30.ppc64le.rpm (info) (download)
cadical-debugsource-0-1.sr19.fc30.ppc64le.rpm (info) (download)
cadical-libs-debuginfo-0-1.sr19.fc30.ppc64le.rpm (info) (download)
s390x
cadical-0-1.sr19.fc30.s390x.rpm (info) (download)
cadical-devel-0-1.sr19.fc30.s390x.rpm (info) (download)
cadical-libs-0-1.sr19.fc30.s390x.rpm (info) (download)
cadical-debuginfo-0-1.sr19.fc30.s390x.rpm (info) (download)
cadical-debugsource-0-1.sr19.fc30.s390x.rpm (info) (download)
cadical-libs-debuginfo-0-1.sr19.fc30.s390x.rpm (info) (download)
x86_64
cadical-0-1.sr19.fc30.x86_64.rpm (info) (download)
cadical-devel-0-1.sr19.fc30.x86_64.rpm (info) (download)
cadical-libs-0-1.sr19.fc30.x86_64.rpm (info) (download)
cadical-debuginfo-0-1.sr19.fc30.x86_64.rpm (info) (download)
cadical-debugsource-0-1.sr19.fc30.x86_64.rpm (info) (download)
cadical-libs-debuginfo-0-1.sr19.fc30.x86_64.rpm (info) (download)
Logs
x86_64
build.log
root.log
state.log
hw_info.log
mock_output.log
ppc64le
build.log
hw_info.log
state.log
root.log
mock_output.log
aarch64
root.log
state.log
build.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
state.log
hw_info.log
build.log
root.log
mock_output.log
Changelog * 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