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

Fedora ARM Koji Build System buildsys at fedoraproject.org
Sat May 19 20:14:01 UTC 2012


Package: coq-8.3pl3-2.fc17
Tag: None
Status: failed
Built by: pbrobinson
ID: 61982
Started: Sat, 19 May 2012 19:44:15 UTC
Finished: Sat, 19 May 2012 20:12:52 UTC


coq-8.3pl3-2.fc17 (61982) failed on cdot-panda-6-1 (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 841860 on cdot-panda-6-1
Task Type: build (None, coq-8.3pl3-2.fc17.src.rpm)

Task 841861 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=841861&name=build.log
  http://arm.koji.fedoraproject.org/koji/getfile?taskID=841861&name=mock_output.log
  http://arm.koji.fedoraproject.org/koji/getfile?taskID=841861&name=root.log
  http://arm.koji.fedoraproject.org/koji/getfile?taskID=841861&name=state.log


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

Task 841862 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=841862&name=build.log
  http://arm.koji.fedoraproject.org/koji/getfile?taskID=841862&name=mock_output.log
  http://arm.koji.fedoraproject.org/koji/getfile?taskID=841862&name=root.log
  http://arm.koji.fedoraproject.org/koji/getfile?taskID=841862&name=state.log



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


More information about the arm-builds mailing list