Information for package Agda

NameAgda
ID7008
Builds
1 through 1 of 1
NVR Built by Finished descending sort State
Agda-2.6.3-1.oc9 fanjunkong 2024-08-02 18:08:48 complete
Builds 1 through 1 of 1
Tags
1 through 3 of 3
Name ascending sort Owner Included? Extra Arches
dist-oc9-epol fanjunkong yes
dist-oc9-epol-compose opencloudkoji yes
epol9-test-compose fanjunkong yes
Tags 1 through 3 of 3