package "analysis-scripts" (
  directory = "analysis-scripts"
  description = ""
  requires = "frama-c.boot frama-c.init frama-c.kernel"
  archive(byte) = "analysis_scripts.cma"
  archive(native) = "analysis_scripts.cmxa"
  plugin(byte) = "analysis_scripts.cma"
  plugin(native) = "analysis_scripts.cmxs"
)
package "boot" (
  directory = "boot"
  description = ""
  requires = "frama-c.kernel"
  archive(byte) = "frama_c_boot.cma"
  archive(native) = "frama_c_boot.cmxa"
  plugin(byte) = "frama_c_boot.cma"
  plugin(native) = "frama_c_boot.cmxs"
)
package "fc_internal_z" (
  directory = "fc_internal_z"
  description = ""
  requires = "zarith"
  archive(byte) = "fc_internal_z.cma"
  archive(native) = "fc_internal_z.cmxa"
  plugin(byte) = "fc_internal_z.cma"
  plugin(native) = "fc_internal_z.cmxs"
)
package "init" (
  directory = "init"
  description = ""
  requires = "threads"
  archive(byte) = "frama_c_very_first.cma"
  archive(native) = "frama_c_very_first.cmxa"
  plugin(byte) = "frama_c_very_first.cma"
  plugin(native) = "frama_c_very_first.cmxs"
)
package "kernel" (
  directory = "kernel"
  description = ""
  requires =
  "dune-private-libs.dune-section
   
   
   
   dune-site
   
   
   
   dune-site.plugins
   
   
   
   dynlink
   
   
   
   fpath
   
   
   
   frama-c.fc_internal_z
   
   
   
   frama-c.init
   
   
   
   menhirLib
   
   
   
   ocamlgraph
   
   
   
   ppx_deriving.runtime
   
   
   
   ppx_inline_test.config
   
   
   
   ppx_inline_test.runtime-lib
   
   
   
   str
   
   
   
   unix
   
   
   
   yaml
   
   
   
   yaml.unix
   
   
   
   yojson
   
   
   
   zarith
   
   
   
   zip"
  archive(byte) = "frama_c_kernel.cma"
  archive(native) = "frama_c_kernel.cmxa"
  plugin(byte) = "frama_c_kernel.cma"
  plugin(native) = "frama_c_kernel.cmxs"
)
package "ppx_z_literals" (
  directory = "ppx_z_literals"
  description = ""
  requires(ppx_driver) = "ppxlib ppxlib.ast"
  archive(ppx_driver,byte) = "ppx_z_literals.cma"
  archive(ppx_driver,native) = "ppx_z_literals.cmxa"
  plugin(ppx_driver,byte) = "ppx_z_literals.cma"
  plugin(ppx_driver,native) = "ppx_z_literals.cmxs"
  requires(-ppx_driver) = ""
  ppx(-ppx_driver,-custom_ppx) = "./ppx.exe --as-ppx"
  library_kind = "ppx_rewriter"
)