META
_CoqProject
src/SimpleIO_Plugin.v
src/IO_Stdlib.v
src/IO_String.v
src/IO_RawChar.v
src/IO_Filename.v
src/IO_Float.v
src/IO_Unsafe.v
plugin/META.coq-simple-io
test/TestInt63.v

.coqdeps.d
*~
*.coq.d
*.vok
*.vos
*.v.d
*.vo
*.aux
*.glob
*.a
*.o
*.cm*
*.ml
*.ml.d
*.mli.d
*.mlg.d
*.mlpack.d
build
_build
deps.dot
deps.jpg
Makefile.coq
Makefile.coq.conf
doc/
html/
.DS_Store
