Wed, 28 Feb 2024 09:56:56 CST | login

Information for package Agda

NameAgda
ID11605
Builds
1 through 9 of 9
NVR Built by Finished descending sort State
Agda-2.6.3-40.fc39 hezhengyu 2024-02-28 09:30:19 failed
Agda-2.6.4.1-47.fc40 hezhengyu 2024-02-21 08:40:33 failed
Agda-2.6.4.1-46.fc40 hezhengyu 2024-02-20 14:00:17 failed
Agda-2.6.4.1-45.fc40 hezhengyu 2024-01-21 11:53:21 failed
Agda-2.6.4.1-44.fc40 hezhengyu 2024-01-19 07:38:15 failed
Agda-2.6.4.1-43.fc40 hezhengyu 2024-01-16 17:24:55 failed
Agda-2.6.2.2-38.fc38 zhaojiasheng 2023-10-14 20:41:11 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 9 of 9
Tags
1 through 4 of 4
Name ascending sort Owner Included? Extra Arches
f37 kojiadmin yes
f38 kojiadmin yes
f39 kojiadmin yes
f40 kojiadmin yes
Tags 1 through 4 of 4