Skip to content
Sat, 07 Nov 2026 22:39:53 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
›
9834
ghc-microlens-ghc
ID
9834
1 build
2 tags
Builds
NVR
Built by
Finished
State
ghc-microlens-ghc-0.4.15.1-2.fc45
guoguo
2026-10-14 01:05:25
complete
Builds 1–1 of 1
Package
Name
ghc-microlens-ghc
ID
9834
Tags
Name
Owner
Included?
Extra Arches
f44
kojiadmin
yes
-
f45
kojiadmin
yes
-
Tags 1–2 of 2
