File list of package libcoin80t64 in trixie of architecture riscv64
/usr/lib/riscv64-linux-gnu/libCoin.so.80c /usr/lib/riscv64-linux-gnu/libCoin.so.80c.0.2 /usr/share/doc/libcoin80t64/changelog.Debian.gz /usr/share/doc/libcoin80t64/changelog.Debian.riscv64.gz /usr/share/doc/libcoin80t64/changelog.gz /usr/share/doc/libcoin80t64/copyright /usr/share/lintian/overrides/libcoin80t64