Sat, 27 Apr 2024 07:06:06 UTC | login

Information for task build (f29-candidate, coq-8.7.1-2.fc29.src.rpm)

ID53991
Methodbuild
Parameters Build target: f29-candidate
Src: cli-build/1530622694.0113823.GzprnBik/coq-8.7.1-2.fc29.src.rpm
State failed
Buildcoq-8.7.1-2.fc29
CreatedTue, 03 Jul 2018 21:58:17 UTC
StartedTue, 03 Jul 2018 21:58:29 UTC
CompletedTue, 03 Jul 2018 22:38:04 UTC
Total time 0:39:47
Task time 0:39:34
Owner davidlt
Channel default
Host builder2-x86.tranquillity.se
Archnoarch
Parent
Descendants failed build
Waiting?yes
Awaited?no
Priority20
Weight0.20
Result
BuildError: error building package (arch riscv64), mock exited with status 127; see root.log for more information
Output