Parents (Total: 2)

The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	11340
MD5	6C327AA05C70E68FFFDDFF2D425BCC0E
PackageDescription	development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcryptominisat5-dev
PackageSection	libdevel
PackageVersion	5.6.4+dfsg.1-1ubuntu1
SHA-1	0704BEBE9445CD6A6541B54B2B83529BE90A7869
SHA-256	32C6839680872330BA6F5BEEA2083178782AD855152223E1A51F34BF2DF8C92A

Key	Value
FileSize	11868
MD5	36EA11981D91DF636389EB99545B1CF8
PackageDescription	development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C.
PackageMaintainer	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	libcryptominisat5-dev
PackageSection	libdevel
PackageVersion	5.6.4+dfsg.1-1+b1
SHA-1	067ACDACE468F011C49823C11F162CEEFB4380DC
SHA-256	6D681500E72BB17DAA9447D457692F4BEA43C178010826BF16469F2711F007E7