Host | buildvm_riscv64_503.openkoji.iscas.ac.cn |
---|---|
Arch | riscv64 |
ID | 1474284 |
Task | buildArch (yices-2.6.5-1.fc40.src.rpm, riscv64) |
State | |
Created | Thu, 11 Jul 2024 16:00:50 CST |
Retired | Thu, 11 Jul 2024 17:32:02 CST |
Repo ID | 23784 |
Repo Tag | f40-build |
Repo State | |
Repo Created | Thu, 11 Jul 2024 15:43:22 CST |
Component RPMs | |
Built RPMs | |
Component Archives | |
Built Archives |