File list of package libcoq-elpi-ocaml-dev in aramo of architecture amd64

/usr/lib/ocaml/coq/user-contrib/elpi/elpi_plugin.a
/usr/lib/ocaml/coq/user-contrib/elpi/elpi_plugin.cmi
/usr/lib/ocaml/coq/user-contrib/elpi/elpi_plugin.cmo
/usr/lib/ocaml/coq/user-contrib/elpi/elpi_plugin.cmx
/usr/lib/ocaml/coq/user-contrib/elpi/elpi_plugin.cmxa
/usr/share/doc/libcoq-elpi-ocaml-dev/changelog.Debian.gz
/usr/share/doc/libcoq-elpi-ocaml-dev/copyright
/usr/share/doc/libcoq-elpi-ocaml-dev/examples/example_curry_howard_tactics.v
/usr/share/doc/libcoq-elpi-ocaml-dev/examples/example_data_base.v
/usr/share/doc/libcoq-elpi-ocaml-dev/examples/example_fuzzer.v
/usr/share/doc/libcoq-elpi-ocaml-dev/examples/example_generalize.v
/usr/share/doc/libcoq-elpi-ocaml-dev/examples/example_import_projections.v
/usr/share/doc/libcoq-elpi-ocaml-dev/examples/example_record_expansion.v
/usr/share/doc/libcoq-elpi-ocaml-dev/examples/example_record_to_sigma.v
/usr/share/doc/libcoq-elpi-ocaml-dev/examples/example_reflexive_tactic.v
/usr/share/doc/libcoq-elpi-ocaml-dev/examples/tutorial_coq_elpi_HOAS.v
/usr/share/doc/libcoq-elpi-ocaml-dev/examples/tutorial_coq_elpi_command.v
/usr/share/doc/libcoq-elpi-ocaml-dev/examples/tutorial_coq_elpi_tactic.v
/usr/share/doc/libcoq-elpi-ocaml-dev/examples/tutorial_elpi_lang.v
/usr/share/doc/libcoq-elpi-ocaml-dev/examples/usage.v
/usr/share/doc/libcoq-elpi-ocaml-dev/examples/usage_NES.v
/usr/share/doc/libcoq-elpi-ocaml-dev/examples/usage_eltac.v
/var/lib/ocaml/lintian/libcoq-elpi-ocaml-dev.info
/var/lib/ocaml/md5sums/libcoq-elpi-ocaml-dev.md5sums