Fri, 13 Dec 2019 08:18:18 UTC

Information for task buildArch (coq-8.9.1-4.fc31.src.rpm, aarch64)

ID37351960
MethodbuildArch
Parameters SRPM: ../packages/coq/8.9.1/4.fc31/src/coq-8.9.1-4.fc31.src.rpm
Build Tag: f31-build
Arch: aarch64
Keep SRPM? yes
Options:
  repo_id = 1253357
State failed
CreatedFri, 30 Aug 2019 11:54:18 UTC
StartedFri, 30 Aug 2019 11:54:24 UTC
CompletedFri, 30 Aug 2019 11:59:21 UTC
Total time 0:05:03
Task time 0:04:56
Owner koschei
Channel default
Host buildvm-aarch64-05.arm.fedoraproject.org
Archaarch64
Buildroot /var/lib/mock/f31-build-17374120-1253357
Parent build (f31, coq-8.9.1-4.fc31.src.rpm)
Descendants
Waiting?no
Awaited?no
Priority49
Weight2.94
Result
BuildError: error building package (arch aarch64), mock exited with status 1; see build.log for more information
Output