Package: libcoq-serapi-ocaml-dev
Runtime: libcoq-serapi-ocaml
Version: 8.20.0+0.20.0-1build4

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/coq/coq.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/serapi_v8_14/serapi.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/serlib.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/btauto/serlib_btauto.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/cc/serlib_cc.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/extraction/serlib_extraction.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/firstorder/serlib_firstorder.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/funind/serlib_funind.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ltac/serlib_ltac.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ltac2/serlib_ltac2.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/micromega/serlib_micromega.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/micromega_core/serlib_micromega_core.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/number_string_notation/serlib_number_string_notation_plugin.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ring/serlib_ring.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ssreflect/serlib_ssr.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ssrmatching/serlib_ssrmatching.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/tauto/serlib_tauto.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/zify/serlib_zify.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib_extra/serlib_extra.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libcoq-serapi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi/sertop_v8_12/sertop.cma
Force custom: no
Extra C object files:
Extra C options:
