build src
rpmmacros rpmrc
coq-*