architecture: arm64 component: main package: minisat+ priority: optional section: science srcpkg_name: minisat+ srcpkg_version: 1.0-4 version: 1.0-4