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