Tue, 06 Jun 2023 17:59:19 CST | login

Information for package Agda

NameAgda
ID11605
Builds
1 through 3 of 3
NVR Built by Finished descending sort State
Agda-2.6.2.2-38.fc38 kojiadmin 2023-06-05 12:57:50 failed
Agda-2.6.2.2-37.fc37 kojiadmin 2023-03-08 22:04:45 complete
Agda-2.6.2.2-36.fc37 kojiadmin 2023-01-30 12:44:27 failed
Builds 1 through 3 of 3
Tags
1 through 2 of 2
Name ascending sort Owner Included? Extra Arches
f37 kojiadmin yes
f38 kojiadmin yes
Tags 1 through 2 of 2