File list of package libcoq-ocaml-dbgsym in sid of architecture sh4

/usr/lib/debug/.build-id/c4/39826753213165f1a764cc6e9f3aff8e0eb92a.debug
/usr/share/doc/libcoq-ocaml-dbgsym