*.vo
*.glob
*.v.d
*.vok
*.vos
*.aux
.*.aux
.*.d
CoqMakefile
CoqMakefile.conf
