Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

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