fedora

Information for package Agda-stdlib

NameAgda-stdlib
ID21080
Builds
1 through 3 of 3
NVR Built by Finished descending sort State
Agda-stdlib-2.3-1.fc43 davidlt 2025-11-07 08:32:46 complete
Agda-stdlib-2.1.1-1.fc43 davidlt 2025-09-24 12:48:53 complete
Agda-stdlib-1.7.3-9.fc42 davidlt 2025-06-09 16:06:23 complete
Builds 1 through 3 of 3
Tags
1 through 2 of 2
Name ascending sort Owner Included? Extra Arches
f42 davidlt yes
f43 davidlt yes
Tags 1 through 2 of 2