(lang dune 2.8)
(name hacl-star)
(version 0.4.1)
(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
   (main_module_name Hacl_star)
   (modules
    ((name AutoConfig2)
     (obj_name hacl_star__AutoConfig2)
     (visibility public)
     (impl))
    ((name EverCrypt)
     (obj_name hacl_star__EverCrypt)
     (visibility public)
     (impl)
     (intf))
    ((name Hacl) (obj_name hacl_star__Hacl) (visibility public) (impl) (intf))
    ((name SharedDefs)
     (obj_name hacl_star__SharedDefs)
     (visibility public)
     (impl))
    ((name SharedFunctors)
     (obj_name hacl_star__SharedFunctors)
     (visibility public)
     (impl)))
   (alias_module
    (name Hacl_star)
    (obj_name hacl_star)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
