*.aux
*.glob
*.vo
*.vos
*.vok
*.v.d
.Makefile.coq.d
Makefile.coq
Makefile.coq.conf
Parser.v
