Fri, 29 Mar 2024 21:33:15 CST | login

Information for package Agda-stdlib

NameAgda-stdlib
ID13377
Builds
1 through 6 of 6
NVR Built by Finished descending sort State
Agda-stdlib-1.7.3-1.fc40 hezhengyu 2024-03-29 04:45:19 failed
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 6 of 6
Tags
1 through 4 of 4
Name Owner Included? ascending sort Extra Arches
f37 kojiadmin yes
f38 kojiadmin yes
f39 kojiadmin yes
f40 kojiadmin yes
Tags 1 through 4 of 4