*.vo
*.glob
*.v.d
.*.aux
_CoqProject
*.vok
*.vos
.lia.cache
