Package: coq-8.4-1.fc19
Tag: None
Status: failed
Built by: pbrobinson
ID: 95438
Started: Sun, 30 Sep 2012 16:33:55 UTC
Finished: Sun, 30 Sep 2012 16:54:03 UTC
coq-8.4-1.fc19 (95438) failed on cdot-guru-2-3 (arm), cdot-panda-11-5-v7hl (noarch):
BuildError: error building package (arch armv5tel), mock exited with status 1; see
build.log for more information
Failed tasks:
-------------
Task 1161955 on cdot-guru-2-3
Task Type: buildArch (coq-8.4-1.fc19.src.rpm, armv5tel)
logs:
http://arm.koji.fedoraproject.org/koji/getfile?taskID=1161955&name=bu...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=1161955&name=mo...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=1161955&name=ro...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=1161955&name=st...
Task 1161951 on cdot-panda-11-5-v7hl
Task Type: build (None, coq-8.4-1.fc19.src.rpm)
Canceled tasks:
---------------
Task 1161954 on cdot-panda-10-5-v7hl
Task Type: buildArch (coq-8.4-1.fc19.src.rpm, armv7hl)
logs:
http://arm.koji.fedoraproject.org/koji/getfile?taskID=1161954&name=bu...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=1161954&name=mo...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=1161954&name=ro...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=1161954&name=st...
Task Info:
http://arm.koji.fedoraproject.org/koji/taskinfo?taskID=1161951
Build Info:
http://arm.koji.fedoraproject.org/koji/buildinfo?buildID=95438