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 21:32:31 CST |
login
Information for package
Agda-stdlib
Name
Agda-stdlib
ID
13377
Builds
1 through 6 of 6
NVR
Built by
Finished
State
Agda-stdlib-1.7.1-5.rvrebuild.fc38
hezhengyu
2023-09-29 16:30:36
Agda-stdlib-1.7.2-1.fc39
hezhengyu
2023-12-04 10:28:51
Agda-stdlib-1.7.3-1.fc40
hezhengyu
2024-03-29 04:45:19
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
Agda-stdlib-1.7.1-5.fc38
kojiadmin
2023-04-21 02:09:39
Builds 1 through 6 of 6
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.