Zoznam súborov balíka libcoq-serapi-ocaml v forky architektúry amd64

/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/META
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/coq/coq.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/coq/coq.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/dune-package
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/opam
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serapi_v8_14/serapi.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serapi_v8_14/serapi.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/btauto/serlib_btauto.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/btauto/serlib_btauto.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/cc/serlib_cc.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/cc/serlib_cc.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/extraction/serlib_extraction.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/extraction/serlib_extraction.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/firstorder/serlib_firstorder.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/firstorder/serlib_firstorder.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/funind/serlib_funind.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/funind/serlib_funind.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ltac/serlib_ltac.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ltac/serlib_ltac.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ltac2/serlib_ltac2.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ltac2/serlib_ltac2.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/micromega/serlib_micromega.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/micromega/serlib_micromega.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/micromega_core/serlib_micromega_core.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/micromega_core/serlib_micromega_core.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/number_string_notation/serlib_number_string_notation_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/number_string_notation/serlib_number_string_notation_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ring/serlib_ring.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ring/serlib_ring.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/serlib.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/serlib.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ssreflect/serlib_ssr.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ssreflect/serlib_ssr.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ssrmatching/serlib_ssrmatching.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ssrmatching/serlib_ssrmatching.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/tauto/serlib_tauto.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/tauto/serlib_tauto.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/zify/serlib_zify.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/zify/serlib_zify.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib_extra/serlib_extra.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib_extra/serlib_extra.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/sertop_v8_12/sertop.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/sertop_v8_12/sertop.cmxs
/usr/share/doc/libcoq-serapi-ocaml/README.md.gz
/usr/share/doc/libcoq-serapi-ocaml/changelog.Debian.amd64.gz
/usr/share/doc/libcoq-serapi-ocaml/changelog.Debian.gz
/usr/share/doc/libcoq-serapi-ocaml/changelog.gz
/usr/share/doc/libcoq-serapi-ocaml/copyright