Package: Agda-2.3.0.1-5.fc19
Tag: None
Status: failed
Built by: sharkcz
ID: 151665
Started: Sat, 29 Dec 2012 02:39:53 EST
Finished: Sat, 29 Dec 2012 02:41:44 EST
Agda-2.3.0.1-5.fc19 (151665) failed on
devel3.s390.bos.redhat.com (s390),
devel3.s390.bos.redhat.com (noarch):
BuildError: error building package (arch s390), mock exited with status 30; see root.log
for more information
Failed tasks:
-------------
Task 902488 on
devel3.s390.bos.redhat.com
Task Type: buildArch (Agda-2.3.0.1-5.fc19.src.rpm, s390)
logs:
http://s390.koji.fedoraproject.org/koji/getfile?taskID=902488&name=bu...
http://s390.koji.fedoraproject.org/koji/getfile?taskID=902488&name=mo...
http://s390.koji.fedoraproject.org/koji/getfile?taskID=902488&name=ro...
http://s390.koji.fedoraproject.org/koji/getfile?taskID=902488&name=st...
Task 902420 on
devel3.s390.bos.redhat.com
Task Type: build (None, Agda-2.3.0.1-5.fc19.src.rpm)
Canceled tasks:
---------------
Task 902489
Task Type: buildArch (Agda-2.3.0.1-5.fc19.src.rpm, s390x)
Task Info:
http://s390.koji.fedoraproject.org/koji/taskinfo?taskID=902420
Build Info:
http://s390.koji.fedoraproject.org/koji/buildinfo?buildID=151665