Thu, 05 Nov 2026 13:38:58 UTC Log in

buildArch (coq-8.20.1-5.fc45.src.rpm, riscv64)

failed

Task 110351 owned by guoguo created Thu, 29 Oct 2026 07:01:41 UTC ran 0:01:30

Result

BuildError: error building package (arch riscv64), mock exited with status 30; see root.log for more information

Descendants

Parent: build (f45, /rpms/coq.git:d1626a30a6dfa7e777ede19419ba4549ae1c67f7)

This task has no descendants.

Logs task 110351

—

Details

ID: 110351
Method: buildArch
State: failed
Created: Thu, 29 Oct 2026 07:01:41 UTC
Started: Thu, 29 Oct 2026 07:04:22 UTC
Completed: Thu, 29 Oct 2026 07:05:52 UTC
Total time: 0:04:11
Task time: 0:01:30
Owner: guoguo
Channel: default
Host: buildvm_riscv64_08.koji.hox.org.cn
Arch: riscv64
Parent: build (f45, /rpms/coq.git:d1626a30a6dfa7e777ede19419ba4549ae1c67f7)
Waiting?: no
Awaited?: no
Priority: 19
Weight: 1.50

Parameters

Archriscv64

Build tagf45-build

Keep srpmTrue

Pkgtasks/188/110188/coq-8.20.1-5.fc45.src.rpm

Options repo_id = 864

Output

Buildroot

/var/lib/mock/f45-build-47168-864