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

/usr/lib/mips64el-linux-gnuabi64/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.mips64el.gz
/usr/share/doc/libcryptominisat5-5.11t64/copyright
/usr/share/lintian/overrides/libcryptominisat5-5.11t64