architecture: amd64 component: main package: cadical priority: optional section: math srcpkg_name: cadical srcpkg_version: 1.7.4-1 version: 1.7.4-1+b1