(lang dune 3.22)
(name belenios-platform-js)
(version 3.3.0)
(sections
 (lib /usr/lib/belenios-platform-js)
 (libexec /usr/lib/belenios-platform-js)
 (doc /usr/doc/belenios-platform-js))
(files
 (lib
  (BigIntCompat.js
   META
   belenios_platform.cmi
   belenios_platform.cmx
   belenios_platform__.cmi
   belenios_platform__.cmx
   belenios_platform__Platform.cmi
   belenios_platform__Platform.cmt
   belenios_platform__Platform.cmx
   belenios_platform__Signatures.cmi
   belenios_platform__Version.cmi
   belenios_platform__Version.cmx
   belenios_platform__belenios_platform_js__.cmi
   belenios_platform__belenios_platform_js__.cmt
   belenios_platform__belenios_platform_js__.cmx
   belenios_platform__belenios_platform_js__.ml
   belenios_platform_js.a
   belenios_platform_js.cma
   belenios_platform_js.cmxa
   crypto.js
   dune-package
   libsodium.js
   opam
   platform.ml))
 (libexec (belenios_platform_js.cmxs))
 (doc (CHANGES.md README.md)))
(library
 (name belenios-platform-js)
 (kind normal)
 (archives (byte belenios_platform_js.cma) (native belenios_platform_js.cmxa))
 (plugins (byte belenios_platform_js.cma) (native belenios_platform_js.cmxs))
 (native_archives belenios_platform_js.a)
 (jsoo_runtime BigIntCompat.js crypto.js libsodium.js)
 (requires belenios-platform lwt js_of_ocaml digestif.ocaml hex)
 (implements belenios-platform)
 (main_module_name Belenios_platform)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name belenios_platform__belenios_platform_js__)
     (visibility public)
     (kind alias)
     (source
      (path Belenios_platform__belenios_platform_js__)
      (impl (path belenios_platform__belenios_platform_js__.ml-gen))))
    (name Belenios_platform)
    (modules
     (module
      (obj_name belenios_platform__Platform)
      (visibility public)
      (kind impl_vmodule)
      (source (path Platform) (impl (path platform.ml))))))
   (wrapped true))))
