python-pycosat-0.6.6-2.mga10.src.rpm build ok