python3-minikanren-1.0.3-3.mga10.noarch.rpm