| package | filename | size | different function |
|---|---|---|---|
| libcryptominisat5-5.11t64 | ./usr/share/doc/libcryptominisat5-5.11t64/changelog.Debian.amd64.gz | 239 B | |
| cryptominisat | ./usr/share/doc/cryptominisat/changelog.Debian.amd64.gz | 239 B | |
| libcryptominisat5-dev | ./usr/share/doc/libcryptominisat5-dev/changelog.Debian.amd64.gz | 239 B | |
| python3-cryptominisat | ./usr/share/doc/python3-cryptominisat/changelog.Debian.amd64.gz | 239 B |