在 aramo 發行版中 ppc64el 硬體架構下的 libcoq-core-ocaml 套件文件清單

/usr/lib/ocaml/coq-core/META
/usr/lib/ocaml/coq-core/boot/boot.cma
/usr/lib/ocaml/coq-core/boot/boot.cmxs
/usr/lib/ocaml/coq-core/clib/clib.cma
/usr/lib/ocaml/coq-core/clib/clib.cmxs
/usr/lib/ocaml/coq-core/config/config.cma
/usr/lib/ocaml/coq-core/config/config.cmxs
/usr/lib/ocaml/coq-core/engine/engine.cma
/usr/lib/ocaml/coq-core/engine/engine.cmxs
/usr/lib/ocaml/coq-core/gramlib/gramlib.cma
/usr/lib/ocaml/coq-core/gramlib/gramlib.cmxs
/usr/lib/ocaml/coq-core/interp/interp.cma
/usr/lib/ocaml/coq-core/interp/interp.cmxs
/usr/lib/ocaml/coq-core/kernel/kernel.cma
/usr/lib/ocaml/coq-core/kernel/kernel.cmxs
/usr/lib/ocaml/coq-core/lib/lib.cma
/usr/lib/ocaml/coq-core/lib/lib.cmxs
/usr/lib/ocaml/coq-core/library/library.cma
/usr/lib/ocaml/coq-core/library/library.cmxs
/usr/lib/ocaml/coq-core/parsing/parsing.cma
/usr/lib/ocaml/coq-core/parsing/parsing.cmxs
/usr/lib/ocaml/coq-core/plugins/btauto/btauto_plugin.cma
/usr/lib/ocaml/coq-core/plugins/btauto/btauto_plugin.cmxs
/usr/lib/ocaml/coq-core/plugins/cc/cc_plugin.cma
/usr/lib/ocaml/coq-core/plugins/cc/cc_plugin.cmxs
/usr/lib/ocaml/coq-core/plugins/derive/derive_plugin.cma
/usr/lib/ocaml/coq-core/plugins/derive/derive_plugin.cmxs
/usr/lib/ocaml/coq-core/plugins/extraction/extraction_plugin.cma
/usr/lib/ocaml/coq-core/plugins/extraction/extraction_plugin.cmxs
/usr/lib/ocaml/coq-core/plugins/firstorder/firstorder_plugin.cma
/usr/lib/ocaml/coq-core/plugins/firstorder/firstorder_plugin.cmxs
/usr/lib/ocaml/coq-core/plugins/funind/funind_plugin.cma
/usr/lib/ocaml/coq-core/plugins/funind/funind_plugin.cmxs
/usr/lib/ocaml/coq-core/plugins/ltac/ltac_plugin.cma
/usr/lib/ocaml/coq-core/plugins/ltac/ltac_plugin.cmxs
/usr/lib/ocaml/coq-core/plugins/ltac2/ltac2_plugin.cma
/usr/lib/ocaml/coq-core/plugins/ltac2/ltac2_plugin.cmxs
/usr/lib/ocaml/coq-core/plugins/micromega/micromega_plugin.cma
/usr/lib/ocaml/coq-core/plugins/micromega/micromega_plugin.cmxs
/usr/lib/ocaml/coq-core/plugins/nsatz/nsatz_plugin.cma
/usr/lib/ocaml/coq-core/plugins/nsatz/nsatz_plugin.cmxs
/usr/lib/ocaml/coq-core/plugins/number_string_notation/number_string_notation_plugin.cma
/usr/lib/ocaml/coq-core/plugins/number_string_notation/number_string_notation_plugin.cmxs
/usr/lib/ocaml/coq-core/plugins/ring/ring_plugin.cma
/usr/lib/ocaml/coq-core/plugins/ring/ring_plugin.cmxs
/usr/lib/ocaml/coq-core/plugins/rtauto/rtauto_plugin.cma
/usr/lib/ocaml/coq-core/plugins/rtauto/rtauto_plugin.cmxs
/usr/lib/ocaml/coq-core/plugins/ssreflect/ssreflect_plugin.cma
/usr/lib/ocaml/coq-core/plugins/ssreflect/ssreflect_plugin.cmxs
/usr/lib/ocaml/coq-core/plugins/ssrmatching/ssrmatching_plugin.cma
/usr/lib/ocaml/coq-core/plugins/ssrmatching/ssrmatching_plugin.cmxs
/usr/lib/ocaml/coq-core/plugins/tauto/tauto_plugin.cma
/usr/lib/ocaml/coq-core/plugins/tauto/tauto_plugin.cmxs
/usr/lib/ocaml/coq-core/plugins/zify/zify_plugin.cma
/usr/lib/ocaml/coq-core/plugins/zify/zify_plugin.cmxs
/usr/lib/ocaml/coq-core/pretyping/pretyping.cma
/usr/lib/ocaml/coq-core/pretyping/pretyping.cmxs
/usr/lib/ocaml/coq-core/printing/printing.cma
/usr/lib/ocaml/coq-core/printing/printing.cmxs
/usr/lib/ocaml/coq-core/proofs/proofs.cma
/usr/lib/ocaml/coq-core/proofs/proofs.cmxs
/usr/lib/ocaml/coq-core/stm/stm.cma
/usr/lib/ocaml/coq-core/stm/stm.cmxs
/usr/lib/ocaml/coq-core/sysinit/sysinit.cma
/usr/lib/ocaml/coq-core/sysinit/sysinit.cmxs
/usr/lib/ocaml/coq-core/tactics/tactics.cma
/usr/lib/ocaml/coq-core/tactics/tactics.cmxs
/usr/lib/ocaml/coq-core/top_printers/top_printers.cma
/usr/lib/ocaml/coq-core/top_printers/top_printers.cmxs
/usr/lib/ocaml/coq-core/toplevel/toplevel.cma
/usr/lib/ocaml/coq-core/toplevel/toplevel.cmxs
/usr/lib/ocaml/coq-core/vernac/vernac.cma
/usr/lib/ocaml/coq-core/vernac/vernac.cmxs
/usr/lib/ocaml/coq-core/vm/coqrun.cma
/usr/lib/ocaml/coq-core/vm/coqrun.cmxs
/usr/lib/ocaml/stublibs/dllcoqrun_stubs.so
/usr/share/doc/libcoq-core-ocaml/NEWS.Debian.gz
/usr/share/doc/libcoq-core-ocaml/changelog.Debian.gz
/usr/share/doc/libcoq-core-ocaml/copyright
/usr/share/lintian/overrides/libcoq-core-ocaml