Fri, 05 Jun 2020 19:35:59 UTC

Information for task buildArch (coq-8.11.0-2.fc32.src.rpm, armv7hl)

ID42808119
MethodbuildArch
Parameters SRPM: tasks/8116/42808116/coq-8.11.0-2.fc32.src.rpm
Build Tag: f32-build
Arch: armv7hl
Keep SRPM? yes
Options:
  repo_id = 1419034
State closed
CreatedFri, 27 Mar 2020 21:29:39 UTC
StartedFri, 27 Mar 2020 21:29:42 UTC
CompletedFri, 27 Mar 2020 22:17:11 UTC
Total time 0:47:31
Task time 0:47:29
Owner jjames
Channel default
Host buildvm-armv7-18.arm.fedoraproject.org
Archarmhfp
Buildroot /var/lib/mock/f32-build-20014526-1419034
Parent build (f32-candidate, coq-8.11.0-2.fc32.src.rpm)
Descendants
Waiting?no
Awaited?no
Priority19
Weight2.86
Result
brootid = 20014526
srpms = tasks/8119/42808119/coq-8.11.0-2.fc32.src.rpm
rpms = tasks/8119/42808119/coq-8.11.0-2.fc32.armv7hl.rpm, tasks/8119/42808119/coq-coqide-8.11.0-2.fc32.armv7hl.rpm, tasks/8119/42808119/coq-debugsource-8.11.0-2.fc32.armv7hl.rpm, tasks/8119/42808119/coq-coqide-debuginfo-8.11.0-2.fc32.armv7hl.rpm, tasks/8119/42808119/coq-debuginfo-8.11.0-2.fc32.armv7hl.rpm, tasks/8119/42808119/coq-d ...
brootid = 20014526
srpms = tasks/8119/42808119/coq-8.11.0-2.fc32.src.rpm
rpms = tasks/8119/42808119/coq-8.11.0-2.fc32.armv7hl.rpm, tasks/8119/42808119/coq-coqide-8.11.0-2.fc32.armv7hl.rpm, tasks/8119/42808119/coq-debugsource-8.11.0-2.fc32.armv7hl.rpm, tasks/8119/42808119/coq-coqide-debuginfo-8.11.0-2.fc32.armv7hl.rpm, tasks/8119/42808119/coq-debuginfo-8.11.0-2.fc32.armv7hl.rpm, tasks/8119/42808119/coq-doc-8.11.0-2.fc32.noarch.rpm
logs = tasks/8119/42808119/hw_info.log, tasks/8119/42808119/state.log, tasks/8119/42808119/root.log, tasks/8119/42808119/build.log, tasks/8119/42808119/mock_output.log, tasks/8119/42808119/noarch_rpmdiff.json
Output