Information for package Agda

NameAgda
ID26
Builds
1 through 4 of 4
NVR Built by Finished descending sort State
Agda-2.6.4.3-50.fc41 zhangsongsong 2024-10-25 15:03:16 complete
Agda-2.6.4.3-48.fc41 kojiadmin 2024-06-08 13:54:33 complete
Agda-2.6.4.1-46.fc40 kojiadmin 2024-05-10 04:23:32 complete
Agda-2.6.4.1-47.fc41 kojiadmin 2024-05-08 10:35:13 complete
Builds 1 through 4 of 4
Tags
1 through 4 of 4
Name ascending sort Owner Included? Extra Arches
f38 kojiadmin yes
f39 kojiadmin yes
f40 kojiadmin yes
f41 kojiadmin yes
Tags 1 through 4 of 4