architecture: amd64 component: main package: libcvc4-7 priority: optional section: libs srcpkg_name: cvc4 srcpkg_version: 1.8-3 version: 1.8-3