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
MD5	FFA6C411680F6FDD71769BB07A38DEA8
PackageArch	aarch64
PackageDescription	Z3 is a satisfiability modulo theories (SMT) solver; given a set of constraints with variables, it reports a set of values for those variables that would meet the constraints. The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard. Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, and quantifiers.
PackageMaintainer	Fedora Project
PackageName	z3
PackageRelease	4.fc24
PackageVersion	4.4.1
SHA-1	4C6110B8F9FC47F7C66DFAA9885B1D5ED1E1A45A
SHA-256	75E19A518D92628C7FDA12AB131C77ADA3A9A34456C7C858CFB88CB2DFBC000C

Key	Value
MD5	2E6EF5F9E413C9BD8BA7EF175C118497
PackageArch	ppc64
PackageDescription	Z3 is a satisfiability modulo theories (SMT) solver; given a set of constraints with variables, it reports a set of values for those variables that would meet the constraints. The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard. Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, and quantifiers.
PackageMaintainer	Fedora Project
PackageName	z3
PackageRelease	4.fc24
PackageVersion	4.4.1
SHA-1	55B29E866D0A9A4FAC111F7C601CDCBEDE1FA5E4
SHA-256	64B8E1BE17C33CC29D01B7FA9B7D6A82441E7EB7417611751D3FAABFE6374BBF