File list of package libcryptominisat5-5.11t64 in sid of architecture armel
/usr/lib/arm-linux-gnueabi/libcryptominisat5.so.5.11 /usr/share/doc/libcryptominisat5-5.11t64/README.Debian /usr/share/doc/libcryptominisat5-5.11t64/changelog.Debian.armel.gz /usr/share/doc/libcryptominisat5-5.11t64/changelog.Debian.gz /usr/share/doc/libcryptominisat5-5.11t64/copyright /usr/share/lintian/overrides/libcryptominisat5-5.11t64