DEBSOURCES
Skip Quicknav
sources / python-pycosat / 0.6.3%2Bdfsg-1 / .pc / use-debian-packaged-picosat.patch