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

/usr/lib/debug/.build-id/4c/c903709b2e257aa6de987876f70d741d4390c8.debug
/usr/share/doc/libz3-jni-dbgsym