architecture: arm64 component: main package: cadical priority: optional section: math srcpkg_name: cadical srcpkg_version: 1.5.3-2 version: 1.5.3-2