*.ml*.d
*.cm[ix]*
Makefile.coq*
*~
*.[ao]
.coqdeps.d
*.vo
*.glob
*.aux