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

Information for package Agda

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