Host | buildvm_riscv64_900.openkoji.iscas.ac.cn |
---|---|
Arch | riscv64 |
ID | 267211 |
Task | buildSRPMFromSCM (/rpms/coq.git:ef4484f9a526bfdd0d5aa12e8b8319d371d8b00d) |
State | |
Created | Wed, 08 May 2024 08:09:03 CST |
Retired | Wed, 08 May 2024 08:15:55 CST |
Repo ID | 8928 |
Repo Tag | f41-build |
Repo State | |
Repo Created | Wed, 08 May 2024 07:31:44 CST |
Component RPMs | |
Built RPMs | |
Component Archives | |
Built Archives |