File list of package libcoq-paramcoq-dbgsym in sid of architecture riscv64

/usr/lib/debug/.build-id/3f/3a080037185536a780a074ef22c1fb321afea7.debug
/usr/share/doc/libcoq-paramcoq-dbgsym