coq2/coqgtest1out.v
coq*/.*
coq*/*.glob
coq*/*.vo
