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