Host | buildvm_riscv64_402.openkoji.iscas.ac.cn |
---|---|
Arch | riscv64 |
ID | 605787 |
Task | buildSRPMFromSCM (/rpms/why3.git:8000f2ad4af141f76026c5822c8ec889dba63864) |
State | |
Created | Sun, 26 May 2024 12:34:51 CST |
Retired | Sun, 26 May 2024 12:41:30 CST |
Repo ID | 11578 |
Repo Tag | f41-build |
Repo State | |
Repo Created | Sun, 26 May 2024 12:26:51 CST |
Component RPMs | |
Built RPMs | |
Component Archives | |
Built Archives |