File list of package libcoq-ocaml-dbgsym in sid of architecture alpha
/usr/lib/debug/.build-id/4c/03c3471896cfab5b29ac8339ccc8a5851214ca.debug /usr/share/doc/libcoq-ocaml-dbgsym
/usr/lib/debug/.build-id/4c/03c3471896cfab5b29ac8339ccc8a5851214ca.debug /usr/share/doc/libcoq-ocaml-dbgsym