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

/usr/lib/debug/.build-id/d9/fae51f616a6b09abf0369b6576728336c4f7d8.debug
/usr/share/doc/libcoq-ocaml-dbgsym