Main Site Links:

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

Information for package Agda

Name	Agda
ID	7008
Builds	1 through 2 of 2 NVR Built by Finished State Agda-2.6.3-2.oc9 bbrucezhang 2025-06-12 15:39:06 Agda-2.6.3-1.oc9 fanjunkong 2024-08-02 18:08:48 Builds 1 through 2 of 2
Tags	1 through 3 of 3 Name Owner Included? Extra Arches dist-oc9-epol fanjunkong dist-oc9-epol-compose opencloudkoji epol9-test-compose fanjunkong Tags 1 through 3 of 3