Package: coq-8.3pl3-2.fc17 Tag: None Status: failed Built by: pbrobinson

[Fedora ARM Koji Build System]

Package: coq-8.3pl3-2.fc17
Tag: None
Status: failed
Built by: pbrobinson
ID: 61982
Started: Tue, 01 May 2012 10:30:04 EDT
Finished: Tue, 01 May 2012 11:26:32 EDT


coq-8.3pl3-2.fc17 (61982) failed on cdot-panda-6-3 (arm), cdot-panda-5-2 (noarch):
  BuildError: error building package (arch armv5tel), mock exited with status 1; see build.log for more information
Failed tasks:
-------------

Task 783564 on cdot-panda-6-3
Task Type: buildArch (coq-8.3pl3-2.fc17.src.rpm, armv5tel)
logs:
  http://arm.koji.fedoraproject.org/koji/getfile?taskID=783564&name=build.log
  http://arm.koji.fedoraproject.org/koji/getfile?taskID=783564&name=mock_output.log
  http://arm.koji.fedoraproject.org/koji/getfile?taskID=783564&name=root.log
  http://arm.koji.fedoraproject.org/koji/getfile?taskID=783564&name=state.log

Task 783558 on cdot-panda-5-2
Task Type: build (None, coq-8.3pl3-2.fc17.src.rpm)


Canceled tasks:
---------------

Task 783563 on cdot-panda-11-4-v7hl
Task Type: buildArch (coq-8.3pl3-2.fc17.src.rpm, armv7hl)
logs:
  http://arm.koji.fedoraproject.org/koji/getfile?taskID=783563&name=build.log
  http://arm.koji.fedoraproject.org/koji/getfile?taskID=783563&name=mock_output.log
  http://arm.koji.fedoraproject.org/koji/getfile?taskID=783563&name=root.log
  http://arm.koji.fedoraproject.org/koji/getfile?taskID=783563&name=state.log



Task Info: http://arm.koji.fedoraproject.org/koji/taskinfo?taskID=783558
Build Info: http://arm.koji.fedoraproject.org/koji/buildinfo?buildID=61982