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 | 365476 |
MD5 | B7D528327C0BD9ADACAC98FF7D28E5A1 |
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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | libcryptominisat5-5.6 |
PackageSection | libs |
PackageVersion | 5.6.4+dfsg.1-1ubuntu1 |
SHA-1 | 4A336E02B9FD829CA564ACEBAB486B4B4DD9684E |
SHA-256 | 48CCCD9AC768ED60A034D896EC2556A062671FEBBFB86F8E27747FA312F8CE9E |