(lang dune 3.20)
(name coq-simple-io)
(version dev)
(sections
 (lib /usr/lib/i386-linux-gnu/ocaml/5.4.0/coq-simple-io)
 (lib_root /usr/lib/i386-linux-gnu/ocaml/5.4.0)
 (doc /usr/doc/coq-simple-io))
(files
 (lib
  (META
   dune-package
   opam
   plugin/compat.ml
   plugin/compat.mli
   plugin/coqsimpleio.ml
   plugin/coqsimpleio.mli
   plugin/coqsimpleio_plugin.cma
   plugin/coqsimpleio_plugin.cmi
   plugin/coqsimpleio_plugin.cmt
   plugin/coqsimpleio_plugin.ml
   plugin/coqsimpleio_plugin__Compat.cmi
   plugin/coqsimpleio_plugin__Compat.cmt
   plugin/coqsimpleio_plugin__Compat.cmti
   plugin/coqsimpleio_plugin__Coqsimpleio.cmi
   plugin/coqsimpleio_plugin__Coqsimpleio.cmt
   plugin/coqsimpleio_plugin__Coqsimpleio.cmti
   plugin/coqsimpleio_plugin__IOLib.cmi
   plugin/coqsimpleio_plugin__IOLib.cmt
   plugin/coqsimpleio_plugin__IOLib.cmti
   plugin/iOLib.ml
   plugin/iOLib.mli))
 (lib_root
  (coq/user-contrib/SimpleIO/IO_Bytes.glob
   coq/user-contrib/SimpleIO/IO_Bytes.v
   coq/user-contrib/SimpleIO/IO_Bytes.vo
   coq/user-contrib/SimpleIO/IO_Exceptions.glob
   coq/user-contrib/SimpleIO/IO_Exceptions.v
   coq/user-contrib/SimpleIO/IO_Exceptions.vo
   coq/user-contrib/SimpleIO/IO_Filename.glob
   coq/user-contrib/SimpleIO/IO_Filename.v
   coq/user-contrib/SimpleIO/IO_Filename.vo
   coq/user-contrib/SimpleIO/IO_Float.glob
   coq/user-contrib/SimpleIO/IO_Float.v
   coq/user-contrib/SimpleIO/IO_Float.vo
   coq/user-contrib/SimpleIO/IO_Monad.glob
   coq/user-contrib/SimpleIO/IO_Monad.v
   coq/user-contrib/SimpleIO/IO_Monad.vo
   coq/user-contrib/SimpleIO/IO_MonadFix.glob
   coq/user-contrib/SimpleIO/IO_MonadFix.v
   coq/user-contrib/SimpleIO/IO_MonadFix.vo
   coq/user-contrib/SimpleIO/IO_Random.glob
   coq/user-contrib/SimpleIO/IO_Random.v
   coq/user-contrib/SimpleIO/IO_Random.vo
   coq/user-contrib/SimpleIO/IO_RawChar.glob
   coq/user-contrib/SimpleIO/IO_RawChar.v
   coq/user-contrib/SimpleIO/IO_RawChar.vo
   coq/user-contrib/SimpleIO/IO_Stdlib.glob
   coq/user-contrib/SimpleIO/IO_Stdlib.v
   coq/user-contrib/SimpleIO/IO_Stdlib.vo
   coq/user-contrib/SimpleIO/IO_StdlibAxioms.glob
   coq/user-contrib/SimpleIO/IO_StdlibAxioms.v
   coq/user-contrib/SimpleIO/IO_StdlibAxioms.vo
   coq/user-contrib/SimpleIO/IO_String.glob
   coq/user-contrib/SimpleIO/IO_String.v
   coq/user-contrib/SimpleIO/IO_String.vo
   coq/user-contrib/SimpleIO/IO_Sys.glob
   coq/user-contrib/SimpleIO/IO_Sys.v
   coq/user-contrib/SimpleIO/IO_Sys.vo
   coq/user-contrib/SimpleIO/IO_Unix.glob
   coq/user-contrib/SimpleIO/IO_Unix.v
   coq/user-contrib/SimpleIO/IO_Unix.vo
   coq/user-contrib/SimpleIO/IO_Unsafe.glob
   coq/user-contrib/SimpleIO/IO_Unsafe.v
   coq/user-contrib/SimpleIO/IO_Unsafe.vo
   coq/user-contrib/SimpleIO/IO_UnsafeNat.glob
   coq/user-contrib/SimpleIO/IO_UnsafeNat.v
   coq/user-contrib/SimpleIO/IO_UnsafeNat.vo
   coq/user-contrib/SimpleIO/SimpleIO.glob
   coq/user-contrib/SimpleIO/SimpleIO.v
   coq/user-contrib/SimpleIO/SimpleIO.vo
   coq/user-contrib/SimpleIO/SimpleIO_Plugin.glob
   coq/user-contrib/SimpleIO/SimpleIO_Plugin.v
   coq/user-contrib/SimpleIO/SimpleIO_Plugin.vo))
 (doc (CHANGELOG.md LICENSE README.md)))
(library
 (name coq-simple-io.plugin)
 (kind normal)
 (archives (byte plugin/coqsimpleio_plugin.cma))
 (plugins (byte plugin/coqsimpleio_plugin.cma))
 (requires unix rocq-runtime.plugins.extraction rocq-runtime.config)
 (main_module_name Coqsimpleio_plugin)
 (modes byte)
 (modules
  (wrapped
   (group
    (alias
     (obj_name coqsimpleio_plugin)
     (visibility public)
     (kind alias)
     (source
      (path Coqsimpleio_plugin)
      (impl (path plugin/coqsimpleio_plugin.ml-gen))))
    (name Coqsimpleio_plugin)
    (modules
     (module
      (obj_name coqsimpleio_plugin__Compat)
      (visibility public)
      (source
       (path Compat)
       (intf (path plugin/compat.mli))
       (impl (path plugin/compat.ml))))
     (module
      (obj_name coqsimpleio_plugin__Coqsimpleio)
      (visibility public)
      (source
       (path Coqsimpleio)
       (intf (path plugin/coqsimpleio.mli))
       (impl (path plugin/coqsimpleio.ml))))
     (module
      (obj_name coqsimpleio_plugin__IOLib)
      (visibility public)
      (source
       (path IOLib)
       (intf (path plugin/iOLib.mli))
       (impl (path plugin/iOLib.ml))))))
   (wrapped true))))
