coq-8.6.1-2.mga7.src.rpm build ok