在 buster 发行版中 arm64 硬件架构下的 libz3-ocaml-dev 软件包文件清单
/usr/lib/ocaml/z3/META
/usr/lib/ocaml/z3/dllz3ml.so
/usr/lib/ocaml/z3/libz3ml.a
/usr/lib/ocaml/z3/z3.cma
/usr/lib/ocaml/z3/z3.cmi
/usr/lib/ocaml/z3/z3.cmx
/usr/lib/ocaml/z3/z3.ml
/usr/lib/ocaml/z3/z3.mli
/usr/lib/ocaml/z3/z3.o
/usr/lib/ocaml/z3/z3enums.cma
/usr/lib/ocaml/z3/z3enums.cmi
/usr/lib/ocaml/z3/z3enums.cmx
/usr/lib/ocaml/z3/z3enums.ml
/usr/lib/ocaml/z3/z3enums.mli
/usr/lib/ocaml/z3/z3enums.o
/usr/lib/ocaml/z3/z3ml.a
/usr/lib/ocaml/z3/z3ml.cma
/usr/lib/ocaml/z3/z3ml.cmxa
/usr/lib/ocaml/z3/z3native.cma
/usr/lib/ocaml/z3/z3native.cmi
/usr/lib/ocaml/z3/z3native.cmx
/usr/lib/ocaml/z3/z3native.ml
/usr/lib/ocaml/z3/z3native.mli
/usr/lib/ocaml/z3/z3native.o
/usr/lib/ocaml/z3/z3native_stubs.o
/usr/share/doc/libz3-ocaml-dev
/var/lib/ocaml/lintian/libz3-ocaml-dev.info
/var/lib/ocaml/md5sums/libz3-ocaml-dev.md5sums