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