package "backtrace" (
  directory = "backtrace"
  version = "v2.4.0"
  description = ""
  requires = ""
  archive(byte) = "goblint_backtrace.cma"
  archive(native) = "goblint_backtrace.cmxa"
  plugin(byte) = "goblint_backtrace.cma"
  plugin(native) = "goblint_backtrace.cmxs"
)
package "build-info" (
  directory = "build-info"
  version = "v2.4.0"
  description = ""
  requires = "batteries.unthreaded"
  archive(byte) = ""
  archive(native) = ""
  plugin(byte) = ""
  plugin(native) = ""
  package "dune" (
    directory = "dune"
    version = "v2.4.0"
    description = ""
    requires = "dune-build-info goblint.build-info"
    archive(byte) = "goblint_build_info_dune.cma"
    archive(native) = "goblint_build_info_dune.cmxa"
    plugin(byte) = "goblint_build_info_dune.cma"
    plugin(native) = "goblint_build_info_dune.cmxs"
  )
  package "js" (
    directory = "js"
    version = "v2.4.0"
    description = ""
    requires = "goblint.build-info"
    archive(byte) = "goblint_build_info_js.cma"
    archive(native) = "goblint_build_info_js.cmxa"
    plugin(byte) = "goblint_build_info_js.cma"
    plugin(native) = "goblint_build_info_js.cmxs"
  )
)
package "cdomain" (
  directory = "cdomain"
  package "value" (
    directory = "value"
    version = "v2.4.0"
    description = ""
    requires =
    "batteries.unthreaded
     
     
     
     
     
     goblint-cil
     
     
     
     
     
     goblint.common
     
     
     
     
     
     goblint.config
     
     
     
     
     
     goblint.domain
     
     
     
     
     
     goblint.incremental
     
     
     
     
     
     goblint.library
     
     
     
     
     
     goblint.logs
     
     
     
     
     
     goblint.std
     
     
     
     
     
     ppx_deriving.runtime
     
     
     
     
     
     ppx_deriving_yojson.runtime
     
     
     
     
     
     yojson"
    archive(byte) = "goblint_cdomain_value.cma"
    archive(native) = "goblint_cdomain_value.cmxa"
    plugin(byte) = "goblint_cdomain_value.cma"
    plugin(native) = "goblint_cdomain_value.cmxs"
  )
)
package "common" (
  directory = "common"
  version = "v2.4.0"
  description = ""
  requires =
  "batteries.unthreaded
   
   
   
   fpath
   
   
   
   goblint-cil
   
   
   
   goblint.config
   
   
   
   goblint.logs
   
   
   
   goblint.std
   
   
   
   goblint.timing
   
   
   
   goblint.tracing
   
   
   
   ppx_deriving.runtime
   
   
   
   ppx_deriving_yojson.runtime
   
   
   
   qcheck-core.runner
   
   
   
   yojson
   
   
   
   zarith"
  archive(byte) = "goblint_common.cma"
  archive(native) = "goblint_common.cmxa"
  plugin(byte) = "goblint_common.cma"
  plugin(native) = "goblint_common.cmxs"
)
package "config" (
  directory = "config"
  version = "v2.4.0"
  description = ""
  requires =
  "batteries.unthreaded
   
   
   
   cpu
   
   
   
   fpath
   
   
   
   goblint.logs
   
   
   
   goblint.sites
   
   
   
   goblint.std
   
   
   
   goblint.tracing
   
   
   
   json-data-encoding
   
   
   
   qcheck-core.runner
   
   
   
   yojson"
  archive(byte) = "goblint_config.cma"
  archive(native) = "goblint_config.cmxa"
  plugin(byte) = "goblint_config.cma"
  plugin(native) = "goblint_config.cmxs"
)
package "constraint" (
  directory = "constraint"
  version = "v2.4.0"
  description = ""
  requires =
  "batteries.unthreaded
   
   
   
   goblint-cil
   
   
   
   goblint.common
   
   
   
   goblint.domain
   
   
   
   goblint.std
   
   
   
   ppx_deriving.runtime
   
   
   
   ppx_deriving_yojson.runtime
   
   
   
   yojson"
  archive(byte) = "goblint_constraint.cma"
  archive(native) = "goblint_constraint.cmxa"
  plugin(byte) = "goblint_constraint.cma"
  plugin(native) = "goblint_constraint.cmxs"
)
package "domain" (
  directory = "domain"
  version = "v2.4.0"
  description = ""
  requires =
  "batteries.unthreaded
   
   
   
   goblint-cil
   
   
   
   goblint.common
   
   
   
   goblint.std
   
   
   
   ppx_deriving.runtime
   
   
   
   ppx_deriving_yojson.runtime
   
   
   
   yojson"
  archive(byte) = "goblint_domain.cma"
  archive(native) = "goblint_domain.cmxa"
  plugin(byte) = "goblint_domain.cma"
  plugin(native) = "goblint_domain.cmxs"
)
package "incremental" (
  directory = "incremental"
  version = "v2.4.0"
  description = ""
  requires =
  "batteries.unthreaded
   
   
   
   fpath
   
   
   
   goblint-cil
   
   
   
   goblint.common
   
   
   
   goblint.config
   
   
   
   goblint.logs
   
   
   
   goblint.std
   
   
   
   ppx_deriving.runtime
   
   
   
   ppx_deriving_yojson.runtime
   
   
   
   yojson
   
   
   
   zarith"
  archive(byte) = "goblint_incremental.cma"
  archive(native) = "goblint_incremental.cmxa"
  plugin(byte) = "goblint_incremental.cma"
  plugin(native) = "goblint_incremental.cmxs"
)
package "lib" (
  directory = "lib"
  version = "v2.4.0"
  description = ""
  requires =
  "arg-complete
   
   
   
   batteries.unthreaded
   
   
   
   catapult
   
   
   
   cpu
   
   
   
   fileutils
   
   
   
   fpath
   
   
   
   goblint-cil
   
   
   
   goblint-cil.pta
   
   
   
   goblint-cil.syntacticsearch
   
   
   
   goblint.backtrace
   
   
   
   goblint.build-info
   
   
   
   goblint.cdomain.value
   
   
   
   goblint.common
   
   
   
   goblint.config
   
   
   
   goblint.constraint
   
   
   
   goblint.domain
   
   
   
   goblint.incremental
   
   
   
   goblint.library
   
   
   
   goblint.logs
   
   
   
   goblint.sites
   
   
   
   goblint.solver
   
   
   
   goblint.std
   
   
   
   goblint.timing
   
   
   
   goblint.tracing
   
   
   
   json-data-encoding
   
   
   
   jsonrpc
   
   
   
   ppx_deriving.runtime
   
   
   
   ppx_deriving_yojson.runtime
   
   
   
   qcheck-core.runner
   
   
   
   sha
   
   
   
   uuidm
   
   
   
   yaml
   
   
   
   yaml.unix
   
   
   
   yojson"
  archive(byte) = "goblint_lib.cma"
  archive(native) = "goblint_lib.cmxa"
  plugin(byte) = "goblint_lib.cma"
  plugin(native) = "goblint_lib.cmxs"
)
package "library" (
  directory = "library"
  version = "v2.4.0"
  description = ""
  requires =
  "batteries.unthreaded
   
   
   
   goblint-cil
   
   
   
   goblint.common
   
   
   
   goblint.config
   
   
   
   goblint.domain
   
   
   
   ppx_deriving.runtime"
  archive(byte) = "goblint_library.cma"
  archive(native) = "goblint_library.cmxa"
  plugin(byte) = "goblint_library.cma"
  plugin(native) = "goblint_library.cmxs"
)
package "logs" (
  directory = "logs"
  version = "v2.4.0"
  description = ""
  requires =
  "batteries.unthreaded
   
   
   
   goblint-cil
   
   
   
   goblint.std
   
   
   
   ppx_deriving.runtime
   
   
   
   ppx_deriving_yojson.runtime
   
   
   
   yojson"
  archive(byte) = "goblint_logs.cma"
  archive(native) = "goblint_logs.cmxa"
  plugin(byte) = "goblint_logs.cma"
  plugin(native) = "goblint_logs.cmxs"
)
package "sites" (
  directory = "sites"
  version = "v2.4.0"
  description = ""
  requires = "fpath"
  archive(byte) = ""
  archive(native) = ""
  plugin(byte) = ""
  plugin(native) = ""
  package "dune" (
    directory = "dune"
    version = "v2.4.0"
    description = ""
    requires = "dune-site goblint.sites"
    archive(byte) = "goblint_sites_dune.cma"
    archive(native) = "goblint_sites_dune.cmxa"
    plugin(byte) = "goblint_sites_dune.cma"
    plugin(native) = "goblint_sites_dune.cmxs"
  )
  package "js" (
    directory = "js"
    version = "v2.4.0"
    description = ""
    requires = "goblint.sites"
    archive(byte) = "goblint_sites_js.cma"
    archive(native) = "goblint_sites_js.cmxa"
    plugin(byte) = "goblint_sites_js.cma"
    plugin(native) = "goblint_sites_js.cmxs"
  )
)
package "solver" (
  directory = "solver"
  version = "v2.4.0"
  description = ""
  requires =
  "batteries.unthreaded
   
   
   
   goblint-cil
   
   
   
   goblint.common
   
   
   
   goblint.config
   
   
   
   goblint.constraint
   
   
   
   goblint.domain
   
   
   
   goblint.incremental
   
   
   
   goblint.logs
   
   
   
   goblint.std
   
   
   
   ppx_deriving.runtime
   
   
   
   ppx_deriving_yojson.runtime
   
   
   
   yojson"
  archive(byte) = "goblint_solver.cma"
  archive(native) = "goblint_solver.cmxa"
  plugin(byte) = "goblint_solver.cma"
  plugin(native) = "goblint_solver.cmxs"
)
package "std" (
  directory = "std"
  version = "v2.4.0"
  description = ""
  requires =
  "batteries.unthreaded
   
   
   
   fpath
   
   
   
   goblint-cil
   
   
   
   ppx_deriving.runtime
   
   
   
   ppx_deriving_yojson.runtime
   
   
   
   qcheck-core
   
   
   
   yaml
   
   
   
   yojson
   
   
   
   zarith"
  archive(byte) = "goblint_std.cma"
  archive(native) = "goblint_std.cmxa"
  plugin(byte) = "goblint_std.cma"
  plugin(native) = "goblint_std.cmxs"
)
package "timing" (
  directory = "timing"
  version = "v2.4.0"
  description = ""
  requires = "catapult catapult-file"
  archive(byte) = "goblint_timing.cma"
  archive(native) = "goblint_timing.cmxa"
  plugin(byte) = "goblint_timing.cma"
  plugin(native) = "goblint_timing.cmxs"
)
package "tracing" (
  directory = "tracing"
  version = "v2.4.0"
  description = ""
  requires = "goblint-cil goblint.build-info goblint.logs goblint.std"
  archive(byte) = "goblint_tracing.cma"
  archive(native) = "goblint_tracing.cmxa"
  plugin(byte) = "goblint_tracing.cma"
  plugin(native) = "goblint_tracing.cmxs"
)