File list of package libcryptominisat5-5.8 in bullseye of architecture s390x
/usr/lib/s390x-linux-gnu/libcryptominisat5.so.5.8 /usr/share/doc/libcryptominisat5-5.8/README.Debian /usr/share/doc/libcryptominisat5-5.8/changelog.Debian.gz /usr/share/doc/libcryptominisat5-5.8/changelog.Debian.s390x.gz /usr/share/doc/libcryptominisat5-5.8/copyright