File list of package libcryptominisat5-5.11 in bookworm of architecture arm64
/usr/lib/aarch64-linux-gnu/libcryptominisat5.so.5.11 /usr/share/doc/libcryptominisat5-5.11/README.Debian /usr/share/doc/libcryptominisat5-5.11/changelog.Debian.arm64.gz /usr/share/doc/libcryptominisat5-5.11/changelog.Debian.gz /usr/share/doc/libcryptominisat5-5.11/copyright