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