Package: libelpi-ocaml-dev
Runtime: libelpi-ocaml
Version: 2.0.7-3build3

File: debian/libelpi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/elpi.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libelpi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libelpi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libelpi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libelpi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libelpi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/trace_ppx.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libelpi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libelpi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util.cma
Force custom: no
Extra C object files:
Extra C options:
