*.cmi
*.cma
*.cmo
*.cmx
*.cmxa
*.o
*.a
.dep.dot
tactics.ps