Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
RPMs built in buildroot
dist-oc9-epol-build-92311-59299
RPMs 1 through 9 of 9
NVR
ghc-idris-1.3.4-1.oc9.x86_64.rpm
ghc-idris-devel-1.3.4-1.oc9.x86_64.rpm
ghc-idris-doc-1.3.4-1.oc9.noarch.rpm
idris-1.3.4-1.oc9.src.rpm
idris-1.3.4-1.oc9.x86_64.rpm
idris-common-1.3.4-1.oc9.noarch.rpm
idris-docs-1.3.4-1.oc9.noarch.rpm
idris-manual-1.3.4-1.oc9.noarch.rpm
idris-static-1.3.4-1.oc9.x86_64.rpm
RPMs 1 through 9 of 9
Copyright © 2021-2023 OpenCloudOS Community.