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

/usr/lib/debug/.build-id/7f/f00b3a81a92b05e93c0c28331c4b0d1dcd551a.debug
/usr/share/doc/libcoq-ocaml-dbgsym