Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Thu, 07 Dec 2023 01:53:12 CST |
login
Information for package
Agda-stdlib
Name
Agda-stdlib
ID
13377
Builds
1 through 5 of 5
NVR
Built by
Finished
State
Agda-stdlib-1.7.2-1.fc39
hezhengyu
2023-12-04 10:28:51
Agda-stdlib-1.7.1-5.rvrebuild.fc38
hezhengyu
2023-09-29 16:30:36
Agda-stdlib-1.7.1-5.fc38
kojiadmin
2023-04-21 02:09:39
Agda-stdlib-1.7.1-3.fc37
kojiadmin
2023-02-28 06:35:05
Agda-stdlib-1.7.1-2.fc37
kojiadmin
2023-01-30 12:33:15
Builds 1 through 5 of 5
Tags
1 through 3 of 3
Name
Owner
Included?
Extra Arches
f37
kojiadmin
f38
kojiadmin
f39
kojiadmin
Tags 1 through 3 of 3
Copyright © 2006-2016 Red Hat, Inc.