Fri, 14 Aug 2020 15:19:26 UTC

Information for task buildArch (coq-8.11.0-1.fc32.src.rpm, x86_64)

ID42767644
MethodbuildArch
Parameters SRPM: tasks/7641/42767641/coq-8.11.0-1.fc32.src.rpm
Build Tag: f32-build
Arch: x86_64
Keep SRPM? no
Options:
  repo_id = 1416667
State closed
CreatedWed, 25 Mar 2020 19:42:29 UTC
StartedWed, 25 Mar 2020 19:42:31 UTC
CompletedWed, 25 Mar 2020 20:07:06 UTC
Total time 0:24:37
Task time 0:24:35
Owner jjames
Channel default
Host buildhw-11.phx2.fedoraproject.org
Archx86_64
Buildroot /var/lib/mock/f32-build-20000564-1416667
Parent build (f32-candidate, /rpms/coq.git:8ec920a2ed402704518d5903fe4aa19ed454995a)
Descendants
Waiting?no
Awaited?no
Priority19
Weight2.87
Result
rpms = tasks/7644/42767644/coq-8.11.0-1.fc32.x86_64.rpm, tasks/7644/42767644/coq-coqide-debuginfo-8.11.0-1.fc32.x86_64.rpm, tasks/7644/42767644/coq-debugsource-8.11.0-1.fc32.x86_64.rpm, tasks/7644/42767644/coq-doc-8.11.0-1.fc32.noarch.rpm, tasks/7644/42767644/coq-coqide-8.11.0-1.fc32.x86_64.rpm, tasks/7644/42767644/coq-debuginfo-8.11.0-1.fc32.x86_64.rpm
srpms =
logs = tasks/7644/42767644/build.log, tas ...
rpms = tasks/7644/42767644/coq-8.11.0-1.fc32.x86_64.rpm, tasks/7644/42767644/coq-coqide-debuginfo-8.11.0-1.fc32.x86_64.rpm, tasks/7644/42767644/coq-debugsource-8.11.0-1.fc32.x86_64.rpm, tasks/7644/42767644/coq-doc-8.11.0-1.fc32.noarch.rpm, tasks/7644/42767644/coq-coqide-8.11.0-1.fc32.x86_64.rpm, tasks/7644/42767644/coq-debuginfo-8.11.0-1.fc32.x86_64.rpm
srpms =
logs = tasks/7644/42767644/build.log, tasks/7644/42767644/hw_info.log, tasks/7644/42767644/state.log, tasks/7644/42767644/root.log, tasks/7644/42767644/mock_output.log, tasks/7644/42767644/noarch_rpmdiff.json
brootid = 20000564
Output