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