BigN/NMake_gen.v
*.d
*.o
*.annot
*.cmi
*.cmt
*.cmx
*.cmxs
*.vo
*.glob
*.aux
*.a
*.cmxa
*~
Makefile.coq
Makefile.coq.conf
META.coq-bignums
.merlin
*.install
*.vos
*.vok
*.out.real
.lia.cache
.nia.cache
