Liste des fichiers du paquet libcvc4-7-dbgsym dans sid pour l'architecture riscv64
/usr/lib/debug/.build-id/0d/3b8ca9e2840ccd18a128dd14e9b72e93054c4f.debug /usr/share/doc/libcvc4-7-dbgsym
/usr/lib/debug/.build-id/0d/3b8ca9e2840ccd18a128dd14e9b72e93054c4f.debug /usr/share/doc/libcvc4-7-dbgsym