Bestandenoverzicht voor pakket libgatbcore3 in sid voor het platform riscv64

/usr/lib/riscv64-linux-gnu/libgatbcore.so.3
/usr/share/doc/libgatbcore3/changelog.Debian.gz
/usr/share/doc/libgatbcore3/changelog.Debian.riscv64.gz
/usr/share/doc/libgatbcore3/copyright
/usr/lib/riscv64-linux-gnu/libgatbcore.so.3
/usr/share/doc/libgatbcore3/changelog.Debian.gz
/usr/share/doc/libgatbcore3/copyright