Package: coq-8.3pl3-2.fc17
Tag: None
Status: failed
Built by: pbrobinson
ID: 61982
Started: Fri, 01 Jun 2012 10:43:16 UTC
Finished: Fri, 01 Jun 2012 11:11:49 UTC
coq-8.3pl3-2.fc17 (61982) failed on cdot-panda-6-3 (noarch), cdot-panda-12-2-v7hl
(armhfp):
BuildError: error building package (arch armv7hl), mock exited with status 1; see
build.log for more information
Failed tasks:
-------------
Task 875320 on cdot-panda-6-3
Task Type: build (None, coq-8.3pl3-2.fc17.src.rpm)
Task 875321 on cdot-panda-12-2-v7hl
Task Type: buildArch (coq-8.3pl3-2.fc17.src.rpm, armv7hl)
logs:
http://arm.koji.fedoraproject.org/koji/getfile?taskID=875321&name=bui...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=875321&name=moc...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=875321&name=roo...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=875321&name=sta...
Canceled tasks:
---------------
Task 875322 on cdot-panda-7-5
Task Type: buildArch (coq-8.3pl3-2.fc17.src.rpm, armv5tel)
logs:
http://arm.koji.fedoraproject.org/koji/getfile?taskID=875322&name=bui...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=875322&name=moc...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=875322&name=roo...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=875322&name=sta...
Task Info:
http://arm.koji.fedoraproject.org/koji/taskinfo?taskID=875320
Build Info:
http://arm.koji.fedoraproject.org/koji/buildinfo?buildID=61982