File list of package libcryptominisat5-5.11t64 in sid 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/copyright /usr/share/lintian/overrides/libcryptominisat5-5.11t64