File list of package jbmc-dbgsym in sid of architecture x32

/usr/lib/debug/.build-id/13/34c4fae6ac0cb34a89508d0acf64496fea4227.debug
/usr/lib/debug/.build-id/1d/cfd8ceb0365dc4b8ba663d0fd70d9e9663566a.debug
/usr/lib/debug/.build-id/53/4a15e76d30eec3fb5eb83e9977cde816a7fc29.debug
/usr/lib/debug/.dwz/x86_64-linux-gnux32/jbmc.debug
/usr/share/doc/jbmc-dbgsym