Sat, 08 Aug 2020 12:32:43 UTC

Information for task buildArch (coq-8.11.0-1.fc33.src.rpm, armv7hl)

ID42770192
MethodbuildArch
Parameters SRPM: tasks/191/42770191/coq-8.11.0-1.fc33.src.rpm
Build Tag: f33-build
Arch: armv7hl
Keep SRPM? yes
Options:
  repo_id = 1416914
State closed
CreatedThu, 26 Mar 2020 00:41:07 UTC
StartedThu, 26 Mar 2020 00:41:08 UTC
CompletedThu, 26 Mar 2020 01:27:07 UTC
Total time 0:45:59
Task time 0:45:58
Owner jjames
Channel default
Host buildvm-armv7-23.arm.fedoraproject.org
Archarmhfp
Buildroot /var/lib/mock/f33-build-20000907-1416914
Parent build (rawhide, coq-8.11.0-1.fc33.src.rpm)
Descendants
Waiting?no
Awaited?no
Priority19
Weight2.87
Result
rpms = tasks/192/42770192/coq-8.11.0-1.fc33.armv7hl.rpm, tasks/192/42770192/coq-coqide-8.11.0-1.fc33.armv7hl.rpm, tasks/192/42770192/coq-doc-8.11.0-1.fc33.noarch.rpm, tasks/192/42770192/coq-coqide-debuginfo-8.11.0-1.fc33.armv7hl.rpm, tasks/192/42770192/coq-debugsource-8.11.0-1.fc33.armv7hl.rpm, tasks/192/42770192/coq-debuginfo-8.11.0-1.fc33.armv7hl.rpm
srpms = tasks/192/42770192/coq-8.11.0-1.fc33.sr ...
rpms = tasks/192/42770192/coq-8.11.0-1.fc33.armv7hl.rpm, tasks/192/42770192/coq-coqide-8.11.0-1.fc33.armv7hl.rpm, tasks/192/42770192/coq-doc-8.11.0-1.fc33.noarch.rpm, tasks/192/42770192/coq-coqide-debuginfo-8.11.0-1.fc33.armv7hl.rpm, tasks/192/42770192/coq-debugsource-8.11.0-1.fc33.armv7hl.rpm, tasks/192/42770192/coq-debuginfo-8.11.0-1.fc33.armv7hl.rpm
srpms = tasks/192/42770192/coq-8.11.0-1.fc33.src.rpm
logs = tasks/192/42770192/hw_info.log, tasks/192/42770192/root.log, tasks/192/42770192/build.log, tasks/192/42770192/state.log, tasks/192/42770192/mock_output.log, tasks/192/42770192/noarch_rpmdiff.json
brootid = 20000907
Output