Fri, 31 Mar 2023 02:15:26 CST | login

Information for package Agda-stdlib

NameAgda-stdlib
ID13377
Builds
1 through 2 of 2
NVR Built by Finished descending sort State
Agda-stdlib-1.7.1-3.fc37 kojiadmin 2023-02-28 06:35:05 failed
Agda-stdlib-1.7.1-2.fc37 kojiadmin 2023-01-30 12:33:15 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