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 4 of 4 NVR Built by Finished State idris-1.3.4-3.oc9 epol-bot 2025-10-28 11:24:48 idris-1.3.4-2.oc9 epol-bot 2025-10-22 14:59:05 idris-1.3.4-%autorelease zeyouliu 2025-10-22 10:46:04 idris-1.3.4-1.oc9 fanjunkong 2024-08-05 13:52:50 Builds 1 through 4 of 4
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