Filförteckning för paketet cvc4-dbgsym i sid för arkitekturen ppc64
/usr/lib/debug/.build-id/5e/a74f3c7b0a91bde0cf6d6464194dd47eee7737.debug /usr/share/doc/cvc4-dbgsym
/usr/lib/debug/.build-id/5e/a74f3c7b0a91bde0cf6d6464194dd47eee7737.debug /usr/share/doc/cvc4-dbgsym