Skip to content
Mon, 02 Nov 2026 18:07:12 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
›
2778
ghc-copilot-theorem
ID
2778
1 build
2 tags
Builds
NVR
Built by
Finished
State
ghc-copilot-theorem-4.5.1-2.fc45
guoguo
2026-10-29 17:42:34
failed
Builds 1–1 of 1
Package
Name
ghc-copilot-theorem
ID
2778
Tags
Name
Owner
Included?
Extra Arches
f44
kojiadmin
yes
-
f45
kojiadmin
yes
-
Tags 1–2 of 2
