Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for package idris

Name	idris
ID	4838
Builds	1 through 2 of 2 NVR Built by Finished State idris-1.3.4-2.oc9 bbrucezhang 2025-08-25 14:52:39 idris-1.3.4-1.oc9 fanjunkong 2024-08-05 13:52:50 Builds 1 through 2 of 2
Tags	1 through 3 of 3 Name Owner Included? Extra Arches dist-oc9-epol opencloudkoji dist-oc9-epol-compose opencloudkoji epol9-test-compose fanjunkong Tags 1 through 3 of 3