_CoqProject.cppo

#if COQ_VERSION >= (8, 16, 0)
-generate-meta-for-package coq-simple-io
#endif
-I plugin/
-Q plugin SimpleIO
plugin/compat.mli
plugin/compat.ml
plugin/iOLib.mli
plugin/iOLib.ml
plugin/coqsimpleio.mli
plugin/coqsimpleio.mlg
plugin/coqsimpleio_plugin.mlpack

-Q src/ SimpleIO
src/IO_Monad.v
src/IO_Stdlib.v
src/IO_MonadFix.v
src/IO_String.v
src/IO_Bytes.v
src/IO_RawChar.v
src/IO_Exceptions.v
src/IO_Random.v
src/IO_Unix.v
src/IO_Sys.v
src/IO_Filename.v
src/IO_Float.v
src/IO_Unsafe.v
src/IO_UnsafeNat.v
src/IO_StdlibAxioms.v
src/SimpleIO_Plugin.v
src/SimpleIO.v