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 ascending sort State
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-50.fc41 zhangsongsong 2024-10-25 15:03:16 complete
Agda-2.6.4.3-53.fc42 kojiadmin 2025-02-18 05:02:10 complete
Agda-2.6.4.3-50.el10 kojiadmin 2025-09-27 07:59:31 complete
Agda-2.8.0-56.fc43 kojiadmin 2025-12-19 14:42:33 failed
Builds 1 through 7 of 7
Tags
1 through 8 of 8
Name descending sort Owner Included? Extra Arches
f44 kojiadmin yes
f43 kojiadmin yes
f42 kojiadmin yes
f41 kojiadmin yes
f40 kojiadmin yes
f39 kojiadmin yes
f38 kojiadmin yes
epel10 kojiadmin yes
Tags 1 through 8 of 8