libcoq-equations-dbgsym paketinin riscv64 sid dosya listesi

/usr/lib/debug/.build-id/ab/ea0c9a307f75c4516114aaed0da72c6a1ab456.debug
/usr/share/doc/libcoq-equations-dbgsym