# Coq/Rocq build artifacts
*.vo
*.vok
*.vos
*.glob
.*.aux
.lia.cache
.nia.cache
.coqdeps.d
