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

/usr/lib/debug/.build-id/63/223418b264dbad6c0a57bb3cd870559ee20d6e.debug
/usr/lib/debug/.build-id/67/e70ad92929cd5efd40c9ba51beeae059951fca.debug
/usr/lib/debug/.build-id/77/294d154700be83ecb0ee9cf952de2fbcad00f5.debug
/usr/lib/debug/.dwz/riscv64-linux-gnu/jbmc.debug
/usr/share/doc/jbmc-dbgsym