description = ""
requires =
"elpi.compiler
 
 elpi.parser
 
 elpi.runtime
 
 elpi.util
 
 ppx_deriving.runtime
 
 re.str
 
 stdlib-shims
 
 unix"
archive(byte) = "elpi.cma"
archive(native) = "elpi.cmxa"
plugin(byte) = "elpi.cma"
plugin(native) = "elpi.cmxs"
package "compiler" (
  directory = "compiler"
  description = ""
  requires =
  "elpi.parser
   
   
   
   elpi.runtime
   
   
   
   elpi.util
   
   
   
   ppx_deriving.runtime
   
   
   
   re.str
   
   
   
   stdlib-shims
   
   
   
   unix"
  archive(byte) = "elpi_compiler.cma"
  archive(native) = "elpi_compiler.cmxa"
  plugin(byte) = "elpi_compiler.cma"
  plugin(native) = "elpi_compiler.cmxs"
  version = "v2.0.7"
)
package "lexer_config" (
  directory = "lexer_config"
  description = ""
  requires = "elpi.util"
  archive(byte) = "elpi_lexer_config.cma"
  archive(native) = "elpi_lexer_config.cmxa"
  plugin(byte) = "elpi_lexer_config.cma"
  plugin(native) = "elpi_lexer_config.cmxs"
  version = "v2.0.7"
)
package "parser" (
  directory = "parser"
  description = ""
  requires =
  "elpi.lexer_config
   
   
   
   elpi.util
   
   
   
   menhirLib
   
   
   
   ppx_deriving.runtime
   
   
   
   stdlib-shims
   
   
   
   unix"
  archive(byte) = "elpi_parser.cma"
  archive(native) = "elpi_parser.cmxa"
  plugin(byte) = "elpi_parser.cma"
  plugin(native) = "elpi_parser.cmxs"
  version = "v2.0.7"
)
package "runtime" (
  directory = "runtime"
  description = ""
  requires =
  "elpi.parser
   
   
   
   elpi.trace.runtime
   
   
   
   elpi.util
   
   
   
   ppx_deriving.runtime
   
   
   
   re.str
   
   
   
   stdlib-shims
   
   
   
   unix"
  archive(byte) = "elpi_runtime.cma"
  archive(native) = "elpi_runtime.cmxa"
  plugin(byte) = "elpi_runtime.cma"
  plugin(native) = "elpi_runtime.cmxs"
  version = "v2.0.7"
)
package "trace" (
  directory = "trace"
  package "ppx" (
    directory = "ppx"
    description = ""
    requires(ppx_driver) = "ppxlib ppxlib.ast"
    archive(ppx_driver,byte) = "trace_ppx.cma"
    archive(ppx_driver,native) = "trace_ppx.cmxa"
    plugin(ppx_driver,byte) = "trace_ppx.cma"
    plugin(ppx_driver,native) = "trace_ppx.cmxs"
    ppx_runtime_deps = "elpi.trace.runtime"
    requires(-ppx_driver) = "elpi.trace.runtime"
    ppx(-ppx_driver,-custom_ppx) = "./ppx.exe --as-ppx"
    library_kind = "ppx_rewriter"
    version = "v2.0.7"
  )
  package "runtime" (
    directory = "runtime"
    description = ""
    requires = "re"
    archive(byte) = "trace_ppx_runtime.cma"
    archive(native) = "trace_ppx_runtime.cmxa"
    plugin(byte) = "trace_ppx_runtime.cma"
    plugin(native) = "trace_ppx_runtime.cmxs"
    version = "v2.0.7"
  )
  version = "v2.0.7"
)
package "util" (
  directory = "util"
  description = ""
  requires = "ppx_deriving.runtime re.str unix"
  archive(byte) = "elpi_util.cma"
  archive(native) = "elpi_util.cmxa"
  plugin(byte) = "elpi_util.cma"
  plugin(native) = "elpi_util.cmxs"
  version = "v2.0.7"
)
version = "v2.0.7"