Main Site Links:

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

Information for package cvc5

Name	cvc5
ID	32237
Builds	1 through 3 of 3 NVR Built by Finished State cvc5-1.1.0-1.fc40 davidlt 2024-01-11 22:55:31 cvc5-1.1.2-1.fc40 davidlt 2024-04-14 16:37:11 cvc5-1.0.8-1.fc40 davidlt 2024-01-04 16:19:14 Builds 1 through 3 of 3
Tags	1 through 2 of 2 Name Owner Included? Extra Arches f40 kojiadmin f41 kojiadmin Tags 1 through 2 of 2