Список файлов пакета jbmc-dbgsym в sid для архитектуры ppc64

/usr/lib/debug/.build-id/4a/0048779541c8d9f9e72cd095fe40b9a804b26f.debug
/usr/lib/debug/.build-id/72/892cbcf0ef70d9279de87d66077b9cf6176672.debug
/usr/lib/debug/.build-id/a2/b2abada8912a63ee135956d1f7eb0a9375f50a.debug
/usr/lib/debug/.dwz/powerpc64-linux-gnu/jbmc.debug
/usr/share/doc/jbmc-dbgsym