architecture: amd64 component: main package: python3-pycosat priority: optional section: python srcpkg_name: python-pycosat srcpkg_version: 0.6.6+dfsg-2 version: 0.6.6+dfsg-2