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

/usr/lib/debug/.build-id/39/9ede434c03cb19c4519b53c02a71a27a5cfc06.debug
/usr/share/doc/libcoq-ocaml-dbgsym