Host | buildvm_riscv64_400.openkoji.iscas.ac.cn |
---|---|
Arch | riscv64 |
ID | 2656095 |
Task | buildSRPMFromSCM (/rpms/coq.git:bc6ccecad52ccbfbca2b5e77cd85db05c992e7c2) |
State | |
Created | Wed, 18 Sep 2024 15:37:14 CST |
Retired | Wed, 18 Sep 2024 15:43:29 CST |
Repo ID | 28432 |
Repo Tag | f41-build-side-1 |
Repo State | |
Repo Created | Wed, 18 Sep 2024 15:32:14 CST |
Component RPMs | |
Built RPMs | |
Component Archives | |
Built Archives |