*.ml*.d
*.cm[ixt]*
Makefile.rocq*
!Makefile.*.local
tuto0/src/META*
*~
*.[ao]
.coqdeps.d
*.vo
*.glob
*.aux
*/*/.merlin

# by convention g_foo.ml is generated
g_*.ml