Fri, 31 Mar 2023 01:02:20 CST | login

Information for package Agda

NameAgda
ID11605
Builds
1 through 2 of 2
NVR Built by Finished descending sort State
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 2 of 2
Tags
1 through 1 of 1
Name ascending sort Owner Included? Extra Arches
f37 kojiadmin yes
Tags 1 through 1 of 1