CoqMakefile.conf
Makefile.coq
*.v.d
*.aux
*.glob
*.vo
.lia.cache
*.tar.gz