File list of package libmiral5t64 in sid of architecture riscv64

/usr/lib/riscv64-linux-gnu/libmiral.so.5
/usr/share/doc/libmiral5t64/changelog.Debian.gz
/usr/share/doc/libmiral5t64/copyright
/usr/share/lintian/overrides/libmiral5t64