*.aux
*.glob
*.tar.gz
*.vo
*.vok
*.vos
*~
.CoqMakefile.d
.lia.cache
CoqMakefile
CoqMakefile.conf
Makefile
autom4te.cache
config.log
config.status
configure