architecture: arm64 component: main package: minisat priority: optional section: science srcpkg_name: minisat2 srcpkg_version: 1:2.2.1-5 version: 1:2.2.1-5+b3