coq-flocq-2.6.0-1.mga7.src.rpm build ok