# ---> Coq
*.vo
*.glob
*.v.d