Mon, 01 Jun 2020 23:44:38 UTC

Information for task buildArch (coq-8.11.0-1.fc32.src.rpm, aarch64)

ID42768094
MethodbuildArch
Parameters SRPM: tasks/8076/42768076/coq-8.11.0-1.fc32.src.rpm
Build Tag: f32-build
Arch: aarch64
Keep SRPM? no
Options:
  repo_id = 1416711
State failed
CreatedWed, 25 Mar 2020 20:39:03 UTC
StartedWed, 25 Mar 2020 20:39:04 UTC
CompletedWed, 25 Mar 2020 20:58:36 UTC
Total time 0:19:32
Task time 0:19:31
Owner jjames
Channel default
Host buildvm-aarch64-17.arm.fedoraproject.org
Archaarch64
Buildroot /var/lib/mock/f32-build-20000648-1416711
Parent build (f32-candidate, /rpms/coq.git:8ec920a2ed402704518d5903fe4aa19ed454995a)
Descendants
Waiting?no
Awaited?no
Priority19
Weight2.87
Result
BuildError: error building package (arch aarch64), mock exited with status 1; see root.log for more information
Output