Main Site Links:

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

Information for package cvc4

Name	cvc4
ID	15147
Builds	1 through 11 of 11 NVR Built by Finished State cvc4-1.8-15.rvre0.fc38 davidlt 2023-05-10 17:24:40 cvc4-1.8-15.fc38 davidlt 2023-05-05 11:01:20 cvc4-1.8-13.fc37 davidlt 2022-11-15 16:56:05 cvc4-1.8-12.fc37 davidlt 2022-11-11 14:43:25 cvc4-1.8-2.fc33 davidlt 2021-05-07 16:04:54 cvc4-1.8-1.fc33 davidlt 2020-12-04 12:16:47 cvc4-1.7-12.fc33 davidlt 2020-06-09 08:11:09 cvc4-1.7-9.fc33 davidlt 2020-05-10 21:17:08 cvc4-1.7-8.fc33 davidlt 2020-04-16 11:19:56 cvc4-1.7-6.fc31 davidlt 2019-09-21 19:01:20 cvc4-1.7-4.fc31 davidlt 2019-09-01 12:31:02 Builds 1 through 11 of 11
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