Thu, 07 Dec 2023 01:53:12 CST | login

Information for package Agda-stdlib

NameAgda-stdlib
ID13377
Builds
1 through 5 of 5
NVR Built by Finished descending sort State
Agda-stdlib-1.7.2-1.fc39 hezhengyu 2023-12-04 10:28:51 failed
Agda-stdlib-1.7.1-5.rvrebuild.fc38 hezhengyu 2023-09-29 16:30:36 failed
Agda-stdlib-1.7.1-5.fc38 kojiadmin 2023-04-21 02:09:39 complete
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 5 of 5
Tags
1 through 3 of 3
Name ascending sort Owner Included? Extra Arches
f37 kojiadmin yes
f38 kojiadmin yes
f39 kojiadmin yes
Tags 1 through 3 of 3