architecture: amd64 component: main package: libcvc5parser1 priority: optional section: libs srcpkg_name: cvc5 srcpkg_version: 1.0.3-1 version: 1.0.3-1