rpmbuildroot
i386
sun4
alpha
apx
alpha
ppc
redhat
rpmrc
rpmmacros
config.distrib
coq-*
contrib-*
patch-*
deb_build
coq.spec
coq_*
sun4u