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	7428156
MD5	E109DC5D52F14F651D64B99AFC77259D
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.7-4build1
SHA-1	89416135E4C031F60305427D7828EA76981E2361
SHA-256	0C46FE1BF03EB03B17AD06775BFB90DEF3F354162E15DCAC693BD438309B6E49

Key	Value
FileSize	6808260
MD5	A3F9606FE9BD7262E35B051488A47B61
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.7-4build1
SHA-1	03A0A7A84D5E9F53746A632B9ED8F3D9DE6DEA47
SHA-256	A3E38300C98445E84F493D3B07E777E54017395D5C779CBB746CEB62A69847BB