File list of package libcryptominisat5-5.11t64 in trixie of architecture riscv64

/usr/lib/riscv64-linux-gnu/libcryptominisat5.so.5.11
/usr/share/doc/libcryptominisat5-5.11t64/README.Debian
/usr/share/doc/libcryptominisat5-5.11t64/changelog.Debian.gz
/usr/share/doc/libcryptominisat5-5.11t64/changelog.Debian.riscv64.gz
/usr/share/doc/libcryptominisat5-5.11t64/copyright
/usr/share/lintian/overrides/libcryptominisat5-5.11t64