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	7752876
MD5	C0E3BBFCE5E57E87F8A86A481565375B
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	z3
PackageSection	science
PackageVersion	4.8.10-1ubuntu1
SHA-1	73348014AAA5711921487DC879C03CA806373237
SHA-256	F04D7A184EB6EA696DBD81D8B925021B22755855F287F59696984BA92F6476AA

Key	Value
FileSize	6966676
MD5	07E57AED10E9E0CFF8442C0F592DF58B
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	z3
PackageSection	science
PackageVersion	4.8.10-1ubuntu1
SHA-1	8233B96F975BF24C49B6810E0B89C5EE53D912A8
SHA-256	F0A97EFA8B014A6161B266B2C36CE37E3536B3132675DEC524910F6B74BC7C14