Package: coq-8.4pl5-2.fc21 Tag: None Status: failed Built by: pbrobinson

[Fedora Koji Build System]

Package: coq-8.4pl5-2.fc21
Tag: None
Status: failed
Built by: pbrobinson
ID: 249549
Started: Mon, 01 Dec 2014 00:12:39 UTC
Finished: Mon, 01 Dec 2014 01:24:45 UTC


coq-8.4pl5-2.fc21 (249549) failed on arm01-builder04.arm.fedoraproject.org (noarch),
aarch64-builder06.bos.fedoraproject.org (aarch64):
  BuildError: error building package (arch aarch64), mock exited with status 1; see
build.log for more information
Failed tasks:
-------------

Task 2810454 on arm01-builder04.arm.fedoraproject.org
Task Type: build (None, coq-8.4pl5-2.fc21.src.rpm)

Task 2810455 on aarch64-builder06.bos.fedoraproject.org
Task Type: buildArch (coq-8.4pl5-2.fc21.src.rpm, aarch64)
logs:
  http://arm.koji.fedoraproject.org/koji/getfile?taskID=2810455&name=bu...
  http://arm.koji.fedoraproject.org/koji/getfile?taskID=2810455&name=mo...
  http://arm.koji.fedoraproject.org/koji/getfile?taskID=2810455&name=ro...
  http://arm.koji.fedoraproject.org/koji/getfile?taskID=2810455&name=st...



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