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	101740
MD5	21FA98662BF4F6A6CCFBC9113A83AF96
PackageDescription	SAT solver command line interface CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable.
PackageMaintainer	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	cryptominisat
PackageSection	math
PackageVersion	5.7.1+dfsg1-1+b2
SHA-1	1B6B2C5B428B0EC7110E6CA2DA9F7EA8B17A91C3
SHA-256	33749346D12D5A6A5B2809FAE21CB4831A7913FFEEF2FF72EB966D436FB2B15D