architecture: arm64 component: main package: libcvc5-dev priority: optional section: libdevel srcpkg_name: cvc5 srcpkg_version: 1.1.2-2 version: 1.1.2-2+b1