*.vo
*.vos
*.vok
*.glob
.*.aux
# auto-generated
.coqdeps.d
.Makefile.coq.d
Makefile.coq
Makefile.coq.conf
.coq-native/
