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 |