python3-pycosat_0.6.6+dfsg-2+b2_amd64.deb
python3-pycosat_0.6.6+dfsg-2+b2_arm64.deb