(lang dune 3.22)
(name hacl-star)
(version 0.7.2)
(sections
 (lib /opt/local/lib/ocaml/site-lib/hacl-star)
 (libexec /opt/local/lib/ocaml/site-lib/hacl-star)
 (doc /opt/local/share/doc/hacl-star))
(files
 (lib
  (AutoConfig2.ml
   EverCrypt.ml
   EverCrypt.mli
   Hacl.ml
   Hacl.mli
   META
   SharedDefs.ml
   SharedFunctors.ml
   dune-package
   hacl_star.a
   hacl_star.cma
   hacl_star.cmi
   hacl_star.cmt
   hacl_star.cmx
   hacl_star.cmxa
   hacl_star.ml
   hacl_star__AutoConfig2.cmi
   hacl_star__AutoConfig2.cmt
   hacl_star__AutoConfig2.cmx
   hacl_star__EverCrypt.cmi
   hacl_star__EverCrypt.cmt
   hacl_star__EverCrypt.cmti
   hacl_star__EverCrypt.cmx
   hacl_star__Hacl.cmi
   hacl_star__Hacl.cmt
   hacl_star__Hacl.cmti
   hacl_star__Hacl.cmx
   hacl_star__SharedDefs.cmi
   hacl_star__SharedDefs.cmt
   hacl_star__SharedDefs.cmx
   hacl_star__SharedFunctors.cmi
   hacl_star__SharedFunctors.cmt
   hacl_star__SharedFunctors.cmx
   opam))
 (libexec (hacl_star.cmxs))
 (doc (CHANGES.md odoc-pages/index.mld)))
(library
 (name hacl-star)
 (kind normal)
 (archives (byte hacl_star.cma) (native hacl_star.cmxa))
 (plugins (byte hacl_star.cma) (native hacl_star.cmxs))
 (native_archives hacl_star.a)
 (requires hacl-star-raw zarith)
 (main_module_name Hacl_star)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name hacl_star)
     (visibility public)
     (kind alias)
     (source (path Hacl_star) (impl (path hacl_star.ml-gen))))
    (name Hacl_star)
    (modules
     (module
      (obj_name hacl_star__AutoConfig2)
      (visibility public)
      (source (path AutoConfig2) (impl (path AutoConfig2.ml))))
     (module
      (obj_name hacl_star__EverCrypt)
      (visibility public)
      (source
       (path EverCrypt)
       (intf (path EverCrypt.mli))
       (impl (path EverCrypt.ml))))
     (module
      (obj_name hacl_star__Hacl)
      (visibility public)
      (source (path Hacl) (intf (path Hacl.mli)) (impl (path Hacl.ml))))
     (module
      (obj_name hacl_star__SharedDefs)
      (visibility public)
      (source (path SharedDefs) (impl (path SharedDefs.ml))))
     (module
      (obj_name hacl_star__SharedFunctors)
      (visibility public)
      (source (path SharedFunctors) (impl (path SharedFunctors.ml))))))
   (wrapped true))))
