python-minikanren-1.0.3-3.mga11.src.rpm build ok