architecture: arm64 component: main package: libcadical-dev priority: optional section: libdevel srcpkg_name: cadical srcpkg_version: 1.7.4-1 version: 1.7.4-1+b1