package "apron" (
  directory = "apron"
  package "core" (
    directory = "core"
    description = ""
    requires =
    "frama-c-eva.core frama-c-eva.fc_internal_apron frama-c.kernel"
    archive(byte) = "apron_domain.cma"
    archive(native) = "apron_domain.cmxa"
    plugin(byte) = "apron_domain.cma"
    plugin(native) = "apron_domain.cmxs"
  )
)
package "core" (
  directory = "core"
  description = ""
  requires = "frama-c.kernel ppx_deriving.runtime"
  archive(byte) = "eva.cma"
  archive(native) = "eva.cmxa"
  plugin(byte) = "eva.cma"
  plugin(native) = "eva.cmxs"
)
package "fc_internal_apron" (
  directory = "fc_internal_apron"
  description = ""
  requires = "apron.apron apron.boxMPQ apron.octMPQ apron.polkaMPQ"
  archive(byte) = "fc_internal_apron.cma"
  archive(native) = "fc_internal_apron.cmxa"
  plugin(byte) = "fc_internal_apron.cma"
  plugin(native) = "fc_internal_apron.cmxs"
)
package "numerors" (
  directory = "numerors"
  package "core" (
    directory = "core"
    description = ""
    requires = "frama-c-eva.core frama-c.kernel"
    archive(byte) = "numerors.cma"
    archive(native) = "numerors.cmxa"
    plugin(byte) = "numerors.cma"
    plugin(native) = "numerors.cmxs"
  )
)
package "server_api" (
  directory = "server_api"
  description = ""
  requires = "frama-c-eva.core frama-c-server.core frama-c.kernel"
  archive(byte) = "server_api.cma"
  archive(native) = "server_api.cmxa"
  plugin(byte) = "server_api.cma"
  plugin(native) = "server_api.cmxs"
)