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