Information for package Agda-stdlib

NameAgda-stdlib
ID21080
Builds
1 through 5 of 5
NVR Built by Finished descending sort State
Agda-stdlib-2.3-5.fc45 davidlt 2026-08-05 20:08:09 complete
Agda-stdlib-2.3-3.fc44 davidlt 2026-04-29 08:53:38 complete
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 5 of 5
Tags
1 through 5 of 5
Name ascending sort Owner Included? Extra Arches
f42 davidlt yes
f43 davidlt yes
f44 davidlt yes
f45 davidlt yes
f46 davidlt yes
Tags 1 through 5 of 5