(lang dune 3.6)
(name frama-c-variadic)
(sections
 (lib /usr/lib64/ocaml/frama-c-variadic)
 (lib_root /usr/lib64/ocaml)
 (libexec /usr/lib64/ocaml/frama-c-variadic))
(files
 (lib
  (META
   core/Variadic.ml
   core/builder.ml
   core/classify.ml
   core/classify.mli
   core/environment.ml
   core/environment.mli
   core/extends.ml
   core/extends.mli
   core/format_parser.ml
   core/format_parser.mli
   core/format_pprint.ml
   core/format_pprint.mli
   core/format_string.ml
   core/format_string.mli
   core/format_typer.ml
   core/format_typer.mli
   core/format_types.ml
   core/generic.ml
   core/generic.mli
   core/options.ml
   core/options.mli
   core/register.ml
   core/register.mli
   core/replacements.ml
   core/replacements.mli
   core/standard.ml
   core/standard.mli
   core/translate.ml
   core/translate.mli
   core/va_types.ml
   core/variadic.a
   core/variadic.cma
   core/variadic.cmi
   core/variadic.cmt
   core/variadic.cmx
   core/variadic.cmxa
   core/variadic__.cmi
   core/variadic__.cmt
   core/variadic__.cmx
   core/variadic__.ml
   core/variadic__Builder.cmi
   core/variadic__Builder.cmt
   core/variadic__Builder.cmx
   core/variadic__Classify.cmi
   core/variadic__Classify.cmt
   core/variadic__Classify.cmti
   core/variadic__Classify.cmx
   core/variadic__Environment.cmi
   core/variadic__Environment.cmt
   core/variadic__Environment.cmti
   core/variadic__Environment.cmx
   core/variadic__Extends.cmi
   core/variadic__Extends.cmt
   core/variadic__Extends.cmti
   core/variadic__Extends.cmx
   core/variadic__Format_parser.cmi
   core/variadic__Format_parser.cmt
   core/variadic__Format_parser.cmti
   core/variadic__Format_parser.cmx
   core/variadic__Format_pprint.cmi
   core/variadic__Format_pprint.cmt
   core/variadic__Format_pprint.cmti
   core/variadic__Format_pprint.cmx
   core/variadic__Format_string.cmi
   core/variadic__Format_string.cmt
   core/variadic__Format_string.cmti
   core/variadic__Format_string.cmx
   core/variadic__Format_typer.cmi
   core/variadic__Format_typer.cmt
   core/variadic__Format_typer.cmti
   core/variadic__Format_typer.cmx
   core/variadic__Format_types.cmi
   core/variadic__Format_types.cmt
   core/variadic__Format_types.cmx
   core/variadic__Generic.cmi
   core/variadic__Generic.cmt
   core/variadic__Generic.cmti
   core/variadic__Generic.cmx
   core/variadic__Options.cmi
   core/variadic__Options.cmt
   core/variadic__Options.cmti
   core/variadic__Options.cmx
   core/variadic__Register.cmi
   core/variadic__Register.cmt
   core/variadic__Register.cmti
   core/variadic__Register.cmx
   core/variadic__Replacements.cmi
   core/variadic__Replacements.cmt
   core/variadic__Replacements.cmti
   core/variadic__Replacements.cmx
   core/variadic__Standard.cmi
   core/variadic__Standard.cmt
   core/variadic__Standard.cmti
   core/variadic__Standard.cmx
   core/variadic__Translate.cmi
   core/variadic__Translate.cmt
   core/variadic__Translate.cmti
   core/variadic__Translate.cmx
   core/variadic__Va_types.cmi
   core/variadic__Va_types.cmt
   core/variadic__Va_types.cmx
   dune-package
   opam))
 (lib_root (frama-c/plugins/variadic/META))
 (libexec (core/variadic.cmxs)))
(library
 (name frama-c-variadic.core)
 (kind normal)
 (archives (byte core/variadic.cma) (native core/variadic.cmxa))
 (plugins (byte core/variadic.cma) (native core/variadic.cmxs))
 (native_archives core/variadic.a)
 (requires frama-c.kernel)
 (main_module_name Variadic)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Variadic)
   (modules
    ((name Builder) (obj_name variadic__Builder) (visibility public) (impl))
    ((name Classify)
     (obj_name variadic__Classify)
     (visibility public)
     (impl)
     (intf))
    ((name Environment)
     (obj_name variadic__Environment)
     (visibility public)
     (impl)
     (intf))
    ((name Extends)
     (obj_name variadic__Extends)
     (visibility public)
     (impl)
     (intf))
    ((name Format_parser)
     (obj_name variadic__Format_parser)
     (visibility public)
     (impl)
     (intf))
    ((name Format_pprint)
     (obj_name variadic__Format_pprint)
     (visibility public)
     (impl)
     (intf))
    ((name Format_string)
     (obj_name variadic__Format_string)
     (visibility public)
     (impl)
     (intf))
    ((name Format_typer)
     (obj_name variadic__Format_typer)
     (visibility public)
     (impl)
     (intf))
    ((name Format_types)
     (obj_name variadic__Format_types)
     (visibility public)
     (impl))
    ((name Generic)
     (obj_name variadic__Generic)
     (visibility public)
     (impl)
     (intf))
    ((name Options)
     (obj_name variadic__Options)
     (visibility public)
     (impl)
     (intf))
    ((name Register)
     (obj_name variadic__Register)
     (visibility public)
     (impl)
     (intf))
    ((name Replacements)
     (obj_name variadic__Replacements)
     (visibility public)
     (impl)
     (intf))
    ((name Standard)
     (obj_name variadic__Standard)
     (visibility public)
     (impl)
     (intf))
    ((name Translate)
     (obj_name variadic__Translate)
     (visibility public)
     (impl)
     (intf))
    ((name Va_types) (obj_name variadic__Va_types) (visibility public) (impl))
    ((name Variadic) (obj_name variadic) (visibility public) (impl)))
   (alias_module
    (name Variadic__)
    (obj_name variadic__)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
