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