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