Parents (Total: 3)

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

Key	Value
FileSize	5753180
MD5	8DB1382AF4AE1115BE3294B6A3DE6B8F
PackageDescription	theorem prover from Microsoft Research Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories. . The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	z3
PackageSection	science
PackageVersion	4.8.12-1+b1
SHA-1	A2D1E940C826096D3732ACD9E70D8CDD2118FCA7
SHA-256	858C7140ABD8CFA258C72FF52471CE54C86B0920DE6C2FC79F0C1CCAE8863E15

Key	Value
FileSize	5744696
MD5	ABBD93CAD1425F13FD6639D29347012D
PackageDescription	theorem prover from Microsoft Research - runtime libraries Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories. . This package contains runtime libraries. You shouldn't have to install it manually.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-4
PackageSection	libs
PackageVersion	4.8.12-1+b1
SHA-1	833886D4F4471C8ED5F5CDB3C1F10E8120D2DC8D
SHA-256	991D0939F14E88DD552F5E56FAC4BFAADCDE88D05EA16AD75C3B65687BC5B5AC

Key	Value
FileSize	92168
MD5	7F2FDA5BA543BF80A1BE159A67C52A94
PackageDescription	theorem prover from Microsoft Research - development files Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories. . This package can be used to invoke Z3 via its C++ API.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-dev
PackageSection	libdevel
PackageVersion	4.8.12-1+b1
SHA-1	E4692B8DC67D0807F83A683B20BE7DC3C345F9E9
SHA-256	A4F2CB5394B527DBA18B6BE05CCA45F9D066405FABF1670DE9345FCC12C4A7BF