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 3 of 3 NVR Built by Finished State 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 3 of 3
Tags	1 through 2 of 2 Name Owner Included? Extra Arches f37 kojiadmin f38 kojiadmin Tags 1 through 2 of 2