在 sid 发行版中 armhf 硬件架构下的 libcoq-ott 软件包文件清单

/usr/lib/ocaml/coq/user-contrib/Ott/ott_list.glob
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list.v
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list.vo
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_base.glob
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_base.v
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_base.vo
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_core.glob
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_core.v
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_core.vo
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_distinct.glob
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_distinct.v
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_distinct.vo
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_eq_dec.glob
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_eq_dec.v
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_eq_dec.vo
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_flat_map.glob
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_flat_map.v
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_flat_map.vo
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_mem.glob
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_mem.v
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_mem.vo
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_nth.glob
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_nth.v
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_nth.vo
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_predicate.glob
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_predicate.v
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_predicate.vo
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_repeat.glob
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_repeat.v
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_repeat.vo
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_support.glob
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_support.v
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_support.vo
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_takedrop.glob
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_takedrop.v
/usr/lib/ocaml/coq/user-contrib/Ott/ott_list_takedrop.vo
/usr/share/doc/libcoq-ott/README.source
/usr/share/doc/libcoq-ott/changelog.Debian.gz
/usr/share/doc/libcoq-ott/copyright
/var/lib/coq/md5sums/libcoq-ott.checksum