@2242255:python-minikanren-1.0.3-3.mga10.src.rpm: ok