Skip to content
Sun, 08 Nov 2026 23:52:44 UTC
·
Log in
Search type
Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Search terms
Search
Search elsewhere
RISC-V Koji
riscv-koji.fedoraproject.org
OpenKoji
openkoji.iscas.ac.cn
Official
koji.fedoraproject.org
Packages
›
23951
rocq
ID
23951
1 build
1 tag
Builds
NVR
Built by
Finished
State
rocq-9.3.0-2.fc45
guoguo
2026-10-30 00:11:29
failed
Builds 1–1 of 1
Package
Name
rocq
ID
23951
Tags
Name
Owner
Included?
Extra Arches
f45
kojiadmin
yes
-
Tags 1–1 of 1