Host | buildvm_riscv64_200.openkoji.iscas.ac.cn |
---|---|
Arch | riscv64 |
ID | 1252345 |
Task | buildSRPMFromSCM (/rpms/coq.git:ef4484f9a526bfdd0d5aa12e8b8319d371d8b00d) |
State | |
Created | Sun, 30 Jun 2024 07:05:04 CST |
Retired | Sun, 30 Jun 2024 07:11:21 CST |
Repo ID | 22992 |
Repo Tag | f40-build |
Repo State | |
Repo Created | Sun, 30 Jun 2024 06:47:03 CST |
Component RPMs | |
Built RPMs | |
Component Archives | |
Built Archives |