opam*/
a.out
*.aux
*.annot
*.cmo
*.cma
*.cmi
*.cmt
*.cmly
*.a
*.o
*.cmx
*.cmxs
*.cmxa
*.native
*.vo
*.vok
*.vos
*.glob
*.v.d
.coqdeps.d
.Makefile.d
Makefile.conf
_build/
\#*\#
proofs/Makefile
tests/extraction
.merlin
*.install
*.coverage
*.errors
!tests/errors/*.errors
*.ml.errors
*.mli.errors
_coverage/
_coverage-summary.txt
