Tue, 02 Jun 2020 02:58:50 UTC

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

ID42804137
MethodbuildArch
Parameters SRPM: tasks/4118/42804118/coq-8.11.0-1.fc32.src.rpm
Build Tag: f32-build
Arch: x86_64
Keep SRPM? no
Options:
  repo_id = 1418736
State failed
CreatedFri, 27 Mar 2020 18:03:09 UTC
StartedFri, 27 Mar 2020 18:03:11 UTC
CompletedFri, 27 Mar 2020 18:11:38 UTC
Total time 0:08:29
Task time 0:08:27
Owner jjames
Channel default
Host buildvm-31.phx2.fedoraproject.org
Archx86_64
Buildroot /var/lib/mock/f32-build-20013548-1418736
Parent build (f32-candidate, /rpms/coq.git:8ec920a2ed402704518d5903fe4aa19ed454995a)
Descendants
Waiting?no
Awaited?no
Priority19
Weight2.87
Result
BuildError: error building package (arch x86_64), mock exited with status 1; see root.log for more information
Output