File list of package libcoin80c in sid of architecture riscv64

/usr/lib/riscv64-linux-gnu/libCoin.so.4.0.0
/usr/lib/riscv64-linux-gnu/libCoin.so.80c
/usr/share/doc/libcoin80c/changelog.Debian.gz
/usr/share/doc/libcoin80c/changelog.gz
/usr/share/doc/libcoin80c/copyright