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	69060
MD5	65782C824E33EBD87305BCD3303BAFB9
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.11.4+dfsg1-2+b1
SHA-1	F1C405F2431EC0A64C6DC7DBB288226FEE6CB7B1
SHA-256	860D4EA5E93D7306A33B35E8192B2753DB8F53044267A54186E9C7804B4B05AE