File list of package libz3-jni-dbgsym in sid of architecture x32

/usr/lib/debug/.build-id/2c/65d53c26a9166afdf21b27821cf1a6b70566a7.debug
/usr/share/doc/libz3-jni-dbgsym