Main Site Links:

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

Information for package Agda-stdlib

Name	Agda-stdlib
ID	21967
Builds	1 through 12 of 12 NVR Built by Finished State Agda-stdlib-1.7.3-7.fc41 davidlt 2024-08-04 03:16:45 Agda-stdlib-1.7.3-5.fc40 davidlt 2024-02-17 19:29:50 Agda-stdlib-1.7.3-2.fc40 davidlt 2023-12-11 09:55:09 Agda-stdlib-1.7.3-1.fc40 davidlt 2023-11-20 14:57:37 Agda-stdlib-1.7.1-5.fc38 davidlt 2023-03-11 07:58:46 Agda-stdlib-1.7.1-3.fc37 davidlt 2022-11-03 18:33:58 Agda-stdlib-1.3-4.fc33 davidlt 2020-11-27 11:51:42 Agda-stdlib-1.3-3.fc33 davidlt 2020-08-13 10:30:48 Agda-stdlib-1.2-1.fc33 davidlt 2020-06-09 10:00:57 Agda-stdlib-1.1-2.fc33 davidlt 2020-06-05 19:32:39 Agda-stdlib-1.1-1.fc31 davidlt 2019-09-21 10:53:31 Agda-stdlib-0.17-2.fc31 davidlt 2019-08-14 21:43:57 Builds 1 through 12 of 12
Tags	1 through 10 of 10 Name Owner Included? Extra Arches f29 kojiadmin f30 kojiadmin f31 kojiadmin f32 kojiadmin f33 kojiadmin f37 kojiadmin f38 kojiadmin f39 kojiadmin f40 kojiadmin f41 kojiadmin Tags 1 through 10 of 10