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

Information for package Agda

NameAgda
ID26
Builds
1 through 7 of 7
NVR Built by Finished descending sort State
Agda-2.6.4.3-50.el10 kojiadmin 2025-09-27 07:59:31 complete
Agda-2.8.0-56.fc43 zhangsongsong 2025-08-24 03:57:59 failed
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
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 7 of 7
Tags
1 through 7 of 7
Name descending sort Owner Included? Extra Arches
f43 kojiadmin yes
f42 kojiadmin yes
f41 kojiadmin yes
f40 kojiadmin yes
f39 kojiadmin yes
f38 kojiadmin yes
epel10 kojiadmin yes
Tags 1 through 7 of 7