fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for package Agda

NameAgda
ID26
Builds
1 through 4 of 4
NVR ascending sort Built by Finished State
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
Agda-2.6.4.3-48.fc41 kojiadmin 2024-06-08 13:54:33 complete
Agda-2.6.4.3-50.fc41 zhangsongsong 2024-10-25 15:03:16 complete
Builds 1 through 4 of 4
Tags
1 through 4 of 4
Name descending sort Owner Included? Extra Arches
f41 kojiadmin yes
f40 kojiadmin yes
f39 kojiadmin yes
f38 kojiadmin yes
Tags 1 through 4 of 4