File list of package libcoq-core-ocaml in experimental of architecture amd64

/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/META
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/META
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/boot/boot.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/boot/boot.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/checklib/coq_checklib.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/checklib/coq_checklib.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/clib/clib.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/clib/clib.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/config/byte/byte_config.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/config/config.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/config/config.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/coqargs/coqargs.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/coqargs/coqargs.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/coqdeplib/coqdeplib.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/coqdeplib/coqdeplib.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/coqworkmgrapi/coqworkmgrApi.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/coqworkmgrapi/coqworkmgrApi.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/debugger_support/debugger_support.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/debugger_support/debugger_support.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/dev/dev.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/dev/dev.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/dev/ml_toplevel/include
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/dev/ml_toplevel/include_directories
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/dev/ml_toplevel/include_printers
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/dev/ml_toplevel/include_utilities
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/engine/engine.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/engine/engine.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/gramlib/gramlib.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/gramlib/gramlib.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/interp/interp.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/interp/interp.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/kernel/kernel.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/kernel/kernel.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/lib/lib.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/lib/lib.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/library/library.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/library/library.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/parsing/parsing.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/parsing/parsing.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/perf/coqperf.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/perf/coqperf.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/btauto/btauto_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/btauto/btauto_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/cc/cc_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/cc/cc_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/cc_core/cc_core_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/cc_core/cc_core_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/derive/derive_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/derive/derive_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/extraction/extraction_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/extraction/extraction_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/firstorder/firstorder_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/firstorder/firstorder_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/firstorder_core/firstorder_core_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/firstorder_core/firstorder_core_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/funind/funind_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/funind/funind_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/ltac/ltac_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/ltac/ltac_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/ltac2/ltac2_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/ltac2/ltac2_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/ltac2_ltac1/ltac2_ltac1_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/ltac2_ltac1/ltac2_ltac1_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/micromega/micromega_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/micromega/micromega_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/micromega_core/micromega_core_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/micromega_core/micromega_core_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/nsatz/nsatz_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/nsatz/nsatz_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/nsatz_core/nsatz_core_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/nsatz_core/nsatz_core_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/number_string_notation/number_string_notation_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/number_string_notation/number_string_notation_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/ring/ring_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/ring/ring_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/rtauto/rtauto_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/rtauto/rtauto_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/ssreflect/ssreflect_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/ssreflect/ssreflect_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/ssrmatching/ssrmatching_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/ssrmatching/ssrmatching_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/tauto/tauto_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/tauto/tauto_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/zify/zify_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/plugins/zify/zify_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/pretyping/pretyping.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/pretyping/pretyping.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/printing/printing.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/printing/printing.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/proofs/proofs.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/proofs/proofs.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/rocqshim/rocqshim.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/rocqshim/rocqshim.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/stm/stm.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/stm/stm.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/sysinit/sysinit.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/sysinit/sysinit.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/tactics/tactics.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/tactics/tactics.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/toplevel/toplevel.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/toplevel/toplevel.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/vernac/vernac.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/vernac/vernac.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/vm/coqrun.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-runtime/vm/coqrun.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/stublibs/dllcoqperf_stubs.so
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/stublibs/dllcoqrun_stubs.so
/usr/share/doc/libcoq-core-ocaml/changelog.Debian.gz
/usr/share/doc/libcoq-core-ocaml/copyright
/usr/share/lintian/overrides/libcoq-core-ocaml