package "core" (
  directory = "core"
  description = ""
  requires =
  "frama-c-rtegen.core
   
   
   
   frama-c-server.core
   
   
   
   frama-c.kernel
   
   
   
   ppx_deriving.runtime
   
   
   
   unionFind"
  archive(byte) = "Region.cma"
  archive(native) = "Region.cmxa"
  plugin(byte) = "Region.cma"
  plugin(native) = "Region.cmxs"
)