Click here to visit the old openkoji buildsystem (Archived)

Information for package Agda

NameAgda
ID26
Links Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem
Builds
1 through 4 of 4
NVR Built by Finished descending sort State
Agda-2.6.4.3-50.fc41 kojiadmin 2024-10-10 02:30:33 failed
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 descending sort Owner Included? Extra Arches
f41 kojiadmin yes
f40 kojiadmin yes
f39 kojiadmin yes
f38 kojiadmin yes
Tags 1 through 4 of 4