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