/distrib/RH/
../
.cvsignore
coq.spec
coqide.spec
do_build