/build
*.out
*.lean.c
*.lean.linked.bc
*.lean.linked.bc.o
*.cmi
*.cmx
*.o
*.dSYM
