package "apron" (
  directory = "apron"
  package "core" (
    directory = "core"
    description = ""
    requires =
    "apron.apron
     
     
     
     
     
     apron.boxMPQ
     
     
     
     
     
     apron.octMPQ
     
     
     
     
     
     apron.polkaMPQ
     
     
     
     
     
     frama-c-eva.core
     
     
     
     
     
     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-server.core frama-c.kernel ppx_deriving.runtime"
  archive(byte) = "eva.cma"
  archive(native) = "eva.cmxa"
  plugin(byte) = "eva.cma"
  plugin(native) = "eva.cmxs"
)
package "gui" (
  directory = "gui"
  description = ""
  requires = "frama-c-eva.core frama-c.gui frama-c.kernel"
  archive(byte) = "eva_gui.cma"
  archive(native) = "eva_gui.cmxa"
  plugin(byte) = "eva_gui.cma"
  plugin(native) = "eva_gui.cmxs"
)
package "mthread" (
  directory = "mthread"
  package "core" (
    directory = "core"
    description = ""
    requires = "frama-c-eva.core frama-c.kernel"
    archive(byte) = "mthread.cma"
    archive(native) = "mthread.cmxa"
    plugin(byte) = "mthread.cma"
    plugin(native) = "mthread.cmxs"
  )
  package "gui" (
    directory = "gui"
    description = ""
    requires =
    "frama-c-eva.core frama-c-eva.mthread.core frama-c.gui frama-c.kernel"
    archive(byte) = "mthread_gui.cma"
    archive(native) = "mthread_gui.cmxa"
    plugin(byte) = "mthread_gui.cma"
    plugin(native) = "mthread_gui.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"
  )
)