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