Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Fri, 29 Mar 2024 00:32:15 CST |
login
Information for package
Agda
Name
Agda
ID
11605
Builds
1 through 9 of 9
NVR
Built by
Finished
State
Agda-2.6.4.1-47.fc40
hezhengyu
2024-02-21 08:40:33
Agda-2.6.4.1-43.fc40
hezhengyu
2024-01-16 17:24:55
Agda-2.6.4.1-44.fc40
hezhengyu
2024-01-19 07:38:15
Agda-2.6.4.1-46.fc40
hezhengyu
2024-03-28 12:47:34
Agda-2.6.4.1-45.fc40
hezhengyu
2024-01-21 11:53:21
Agda-2.6.3-40.fc39
hezhengyu
2024-03-19 17:18:25
Agda-2.6.2.2-36.fc37
kojiadmin
2023-01-30 12:44:27
Agda-2.6.2.2-37.fc37
kojiadmin
2023-03-08 22:04:45
Agda-2.6.2.2-38.fc38
zhaojiasheng
2023-10-14 20:41:11
Builds 1 through 9 of 9
Tags
1 through 4 of 4
Name
Owner
Included?
Extra Arches
f37
kojiadmin
f38
kojiadmin
f39
kojiadmin
f40
kojiadmin
Tags 1 through 4 of 4
Copyright © 2006-2016 Red Hat, Inc.