Main Site Links:

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

Information for package Agda

Name	Agda
ID	21966
Builds	1 through 14 of 14 NVR Built by Finished State Agda-2.6.4.3-50.fc41 davidlt 2024-09-22 08:27:55 Agda-2.6.4.1-46.fc40 davidlt 2024-04-16 12:31:26 Agda-2.6.4.1-43.fc40 davidlt 2024-01-02 09:11:11 Agda-2.6.4-41.fc40 davidlt 2023-12-09 03:15:41 Agda-2.6.2.2-38.rvre0.fc38 davidlt 2023-06-26 15:27:45 Agda-2.6.2.2-38.fc38 davidlt 2023-06-17 14:17:13 Agda-2.6.2.2-37.fc37 davidlt 2022-11-19 20:46:15 Agda-2.6.1-28.fc33 davidlt 2021-05-07 17:24:11 Agda-2.6.1-27.fc33 davidlt 2020-09-05 12:08:34 Agda-2.6.0.1-22.fc33 davidlt 2020-06-13 05:15:28 Agda-2.6.0.1-21.fc33 davidlt 2020-06-08 17:59:28 Agda-2.6.0.1-19.fc31 davidlt 2019-09-21 11:24:17 Agda-2.5.4.2-18.fc31 davidlt 2019-08-09 07:52:57 Agda-2.5.4.2-17.fc31 davidlt 2019-07-29 21:37:49 Builds 1 through 14 of 14
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