Список файлов пакета libwhy3-ocaml-dev-dbgsym в sid для архитектуры riscv64
/usr/lib/debug/.build-id/d6/c3626a5169254a971c96aacfc862a3725b5348.debug /usr/share/doc/libwhy3-ocaml-dev-dbgsym
/usr/lib/debug/.build-id/d6/c3626a5169254a971c96aacfc862a3725b5348.debug /usr/share/doc/libwhy3-ocaml-dev-dbgsym