python-pycosat-0.6.6-3.mga11.src.rpm build ok