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