architecture: arm64 component: main package: cvc4 priority: optional section: math srcpkg_name: cvc4 srcpkg_version: 1.8-3 version: 1.8-3