Package: coq-8.4pl5-1.fc21 Tag: None Status: failed Built by: pbrobinson ID: 249550 Started: Mon, 01 Dec 2014 00:19:48 UTC Finished: Mon, 01 Dec 2014 01:32:07 UTC
coq-8.4pl5-1.fc21 (249550) failed on aarch64-builder03.bos.fedoraproject.org (aarch64), arm01-builder08.arm.fedoraproject.org (noarch): BuildError: error building package (arch aarch64), mock exited with status 1; see build.log for more information Failed tasks: -------------
Task 2810465 on aarch64-builder03.bos.fedoraproject.org Task Type: buildArch (coq-8.4pl5-1.fc21.src.rpm, aarch64) logs: http://arm.koji.fedoraproject.org/koji/getfile?taskID=2810465&name=build... http://arm.koji.fedoraproject.org/koji/getfile?taskID=2810465&name=mock_... http://arm.koji.fedoraproject.org/koji/getfile?taskID=2810465&name=root.... http://arm.koji.fedoraproject.org/koji/getfile?taskID=2810465&name=state...
Task 2810463 on arm01-builder08.arm.fedoraproject.org Task Type: build (None, coq-8.4pl5-1.fc21.src.rpm)
Task Info: http://arm.koji.fedoraproject.org/koji/taskinfo?taskID=2810463 Build Info: http://arm.koji.fedoraproject.org/koji/buildinfo?buildID=249550