Wed, 03 Jun 2020 23:51:36 UTC

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

ID42766722
MethodbuildArch
Parameters SRPM: tasks/6715/42766715/coq-8.11.0-1.fc32.src.rpm
Build Tag: f32-build
Arch: x86_64
Keep SRPM? no
Options:
  repo_id = 1416615
State failed
CreatedWed, 25 Mar 2020 18:49:26 UTC
StartedWed, 25 Mar 2020 18:49:28 UTC
CompletedWed, 25 Mar 2020 18:57:43 UTC
Total time 0:08:17
Task time 0:08:15
Owner jjames
Channel default
Host buildvm-15.phx2.fedoraproject.org
Archx86_64
Buildroot /var/lib/mock/f32-build-20000439-1416615
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