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

Information for package Agda-stdlib

NameAgda-stdlib
ID27
Builds
1 through 6 of 6
NVR Built by Finished descending sort State
Agda-stdlib-2.1.1-1.fc42 kojiadmin 2025-04-24 20:00:04 failed
Agda-stdlib-1.7.3-9.fc42 kojiadmin 2025-03-07 05:06:24 complete
Agda-stdlib-1.7.3-7.fc41 kojiadmin 2024-09-05 18:29:37 complete
Agda-stdlib-1.7.3-6.fc41 kojiadmin 2024-05-23 10:54:34 complete
Agda-stdlib-1.7.3-5.fc40 kojiadmin 2024-05-10 22:15:22 complete
Agda-stdlib-1.7.3-5.fc41 kojiadmin 2024-05-08 21:35:11 complete
Builds 1 through 6 of 6
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