Host | buildvm_riscv64_302.openkoji.iscas.ac.cn |
---|---|
Arch | riscv64 |
ID | 744408 |
Task | buildSRPMFromSCM (/rpms/why3.git:0aeedb81c597ea0247a15450b25c5d092a6db472) |
State | |
Created | Tue, 04 Jun 2024 12:11:21 CST |
Retired | Tue, 04 Jun 2024 12:17:04 CST |
Repo ID | 13343 |
Repo Tag | f41-build |
Repo State | |
Repo Created | Tue, 04 Jun 2024 12:04:10 CST |
Component RPMs | |
Built RPMs | |
Component Archives | |
Built Archives |