Information for package Agda

NameAgda
ID21077
Builds
1 through 5 of 5
NVR Built by Finished descending sort State
Agda-2.8.0-60.fc45 davidlt 2026-08-10 09:48:33 complete
Agda-2.8.0-59.fc44 davidlt 2026-04-18 10:30:08 complete
Agda-2.8.0-56.fc43 davidlt 2025-11-20 23:45:53 complete
Agda-2.7.0.1-54.fc43 davidlt 2025-09-23 17:36:09 complete
Agda-2.6.4.3-53.fc42 davidlt 2025-06-09 16:06:31 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