Wed, 06 Jul 2022 21:48:40 UTC

Information for task buildArch (coq-8.1pl3-3.fc9.src.rpm, i386)

ID760792
MethodbuildArch
Parameters SRPM: cli-build/1217969492.480695.MqioDLyS/coq-8.1pl3-3.fc9.src.rpm
Build Tag: dist-f9-build
Arch: i386
Keep SRPM? no
State closed
CreatedTue, 05 Aug 2008 20:56:45 UTC
CompletedTue, 05 Aug 2008 21:12:09 UTC
Total time 0:15:23
Owner amdunn
Channel default
Host xenbuilder2.fedora.redhat.com
Archi386
Buildroot /var/lib/mock/dist-f9-build-235292-42619
Parent build (dist-f9, coq-8.1pl3-3.fc9.src.rpm)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.50
Result
brootid = 235292
rpms = tasks/760792/coq-doc-8.1pl3-3.fc9.i386.rpm, tasks/760792/coq-emacs-8.1pl3-3.fc9.i386.rpm, tasks/760792/coq-8.1pl3-3.fc9.i386.rpm, tasks/760792/coq-coqide-8.1pl3-3.fc9.i386.rpm
srpms =
logs = tasks/760792/root.log, tasks/760792/build.log, tasks/760792/state.log
Output