Information for package Agda-stdlib

NameAgda-stdlib
ID27
Builds
1 through 4 of 4
NVR Built by Finished descending sort State
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 4 of 4
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