*~
*.vo
*.glob
*.voi
*.vok
*.vos
*.aux
*.d
Makefile.coq
Makefile.coq.conf