Host | buildvm_riscv64_503.openkoji.iscas.ac.cn |
---|---|
Arch | riscv64 |
ID | 1487107 |
Task | buildArch (yices-2.6.5-1.fc40.src.rpm, riscv64) |
State | |
Created | Fri, 12 Jul 2024 04:55:18 CST |
Retired | Fri, 12 Jul 2024 06:23:05 CST |
Repo ID | 23843 |
Repo Tag | f40-build |
Repo State | |
Repo Created | Fri, 12 Jul 2024 04:25:10 CST |
Component RPMs | |
Built RPMs | |
Component Archives | |
Built Archives |