*.vo
*.glob
*.d
.*.aux
*.vok
*.vos
.lia.cache
CoqMakefile
CoqMakefile.conf
.coq-native