/distrib/RH/
../
coq.spec
coq_ext_for_pcoq.spec
coqide.spec
do_build
do_build_pcoq