Makefile.coq
*.v.d
*.vo
