| ID | 728503 |
|---|---|
| Method | buildArch |
| Parameters |
Arch: i386
Build tag: dist-f8-build Keep srpm: False Pkg: tasks/728500/coq-8.1pl3-2.fc8.1.src.rpm |
| State | closed |
| Created | Sun, 20 Jul 2008 12:53:38 UTC |
| Completed | Sun, 20 Jul 2008 13:07:50 UTC |
| Total time | 0:14:12 |
| Owner | amdunn |
| Channel | default |
| Host | x86-3.fedora.phx.redhat.com |
| Arch | i386 |
| Buildroot |
/var/lib/mock/dist-f8-build-226040-40209 |
| Parent | build (dist-f8-updates-candidate, /cvs/pkgs:rpms/coq/F-8:coq-8_1pl3-2_fc8_1) |
| Descendants | |
| Waiting? | no |
| Awaited? | no |
| Priority | 19 |
| Weight | 1.50 |
| Result |
brootid = 226040
rpms = tasks/728503/coq-8.1pl3-2.fc8.1.i386.rpm, tasks/728503/coq-coqide-8.1pl3-2.fc8.1.i386.rpm, tasks/728503/coq-doc-8.1pl3-2.fc8.1.i386.rpm, tasks/728503/coq-emacs-8.1pl3-2.fc8.1.i386.rpm srpms = logs = tasks/728503/state.log, tasks/728503/build.log, tasks/728503/root.log |
| Output |