Zoznam súborov balíka libcoq-bignums-dbgsym v sid architektúry riscv64
/usr/lib/debug/.build-id/79/5ec1e20d864af1b17f12a00b9e7b3d2e140e5c.debug /usr/share/doc/libcoq-bignums-dbgsym
/usr/lib/debug/.build-id/79/5ec1e20d864af1b17f12a00b9e7b3d2e140e5c.debug /usr/share/doc/libcoq-bignums-dbgsym