Version of cryptominisat: 5.11.21+dfsg1-2
Architecture of cryptominisat: amd64
Version of libcryptominisat5-5.11t64: 5.11.21+dfsg1-2
Architecture of libcryptominisat5-5.11t64: amd64
| cryptominisat | libcryptominisat5-5.11t64 | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 4.9 KB | ./usr/share/doc/cryptominisat/copyright | sha512 | ./usr/share/doc/libcryptominisat5-5.11t64/copyright |
| 1.1 KB | ./usr/share/doc/cryptominisat/changelog.Debian.gz | gzip_sha512, sha512 | ./usr/share/doc/libcryptominisat5-5.11t64/changelog.Debian.gz |