*.vo *.vio *.v.d .coqdeps.d *.glob *.cache *.aux \#*\# .\#* *~ *.bak Makefile.coq Makefile.coq.conf .coq-native/ build-dep