Main Site Links:

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

Information for package idris

Name	idris
ID	22512
Builds	1 through 7 of 7 NVR Built by Finished State idris-1.3.4-14.fc40 davidlt 2024-02-17 18:54:20 idris-1.3.4-12.fc40 davidlt 2023-11-21 22:46:42 idris-1.3.4-6.fc38 davidlt 2023-06-04 17:40:18 idris-1.3.4-5.fc37 davidlt 2022-11-07 19:25:57 idris-1.3.3-2.fc33 davidlt 2021-05-07 19:08:58 idris-1.3.2-3.fc33 davidlt 2020-05-14 02:27:49 idris-1.3.2-1.fc31 davidlt 2019-09-21 20:22:22 Builds 1 through 7 of 7
Tags	1 through 9 of 9 Name Owner Included? Extra Arches f29 kojiadmin f30 kojiadmin f31 kojiadmin f32 kojiadmin f33 kojiadmin f37 kojiadmin f38 kojiadmin f39 kojiadmin f40 kojiadmin Tags 1 through 9 of 9