bedrock
fiat
*~
*#
*.vo
*.d
*.glob
Makefile.coq
Makefile.bak