Parents (Total: 1)
The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:
Key |
Value |
FileSize | 442452 |
MD5 | D6C8FF4CCED39557423BC55E4B8B5013 |
PackageDescription | SAT solver library
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a shared library to link against the CryptoMiniSat
library. |
PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
PackageName | libcryptominisat5-5.11 |
PackageSection | libs |
PackageVersion | 5.11.4+dfsg1-2+b1 |
SHA-1 | 98118DDB443FBB32D5C133EA688AC7BD0C2AD04A |
SHA-256 | 51D505D7DE83C9B629A2D554F2AAA5D0D498CD2FDFD7552B7664D8C9CD60B134 |