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