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

/usr/lib/debug/.build-id/3c/96155bbebb8cc24871b464d2e19d30be86c61e.debug
/usr/share/doc/libcoq-ocaml-dbgsym