在 sid 發行版中 hppa 硬體架構下的 libcoq-ocaml-dbgsym 套件檔案清單

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