*.aux
*.glob
*.vo
*.vok
*.vos
*~
.CoqMakefile.d
.lia.cache
CoqMakefile
CoqMakefile.conf