(lang dune 3.22)
(name belenios-platform)
(version 3.3.0)
(sections (lib /usr/lib/belenios-platform) (doc /usr/doc/belenios-platform))
(files
 (lib
  (META
   belenios_platform.cmi
   belenios_platform.cmo
   belenios_platform.cmt
   belenios_platform.cmx
   belenios_platform.ml
   belenios_platform.o
   belenios_platform__.cmi
   belenios_platform__.cmo
   belenios_platform__.cmt
   belenios_platform__.cmx
   belenios_platform__.ml
   belenios_platform__.o
   belenios_platform__Platform.cmi
   belenios_platform__Platform.cmti
   belenios_platform__Signatures.cmi
   belenios_platform__Signatures.cmti
   belenios_platform__Version.cmi
   belenios_platform__Version.cmo
   belenios_platform__Version.cmt
   belenios_platform__Version.cmti
   belenios_platform__Version.cmx
   belenios_platform__Version.o
   dune-package
   opam
   platform.mli
   signatures.mli
   version.ml
   version.mli))
 (doc (CHANGES.md README.md)))
(library
 (name belenios-platform)
 (kind virtual)
 (requires (re_export lwt))
 (main_module_name Belenios_platform)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name belenios_platform__)
     (visibility public)
     (kind alias)
     (source
      (path Belenios_platform__)
      (impl (path belenios_platform__.ml-gen))))
    (name Belenios_platform)
    (modules
     (module
      (obj_name belenios_platform)
      (visibility public)
      (source (path Belenios_platform) (impl (path belenios_platform.ml))))
     (module
      (obj_name belenios_platform__Platform)
      (visibility public)
      (kind virtual)
      (source (path Platform) (intf (path platform.mli))))
     (module
      (obj_name belenios_platform__Signatures)
      (visibility public)
      (source (path Signatures) (intf (path signatures.mli))))
     (module
      (obj_name belenios_platform__Version)
      (visibility public)
      (source
       (path Version)
       (intf (path version.mli))
       (impl (path version.ml))))))
   (wrapped true))))
