Parents (Total: 5)

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

Key	Value
MD5	8F0C1DF34EB732E13FBDA72BB5C2BBD1
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	3.fc23
PackageVersion	4.4.0
SHA-1	D9A309DD19CDC8960101EB966007EED1CE8B7CCF
SHA-256	315CC91D91E019F9505437C8DAA938BE7077FC7B9BA740CCDF2BB824D692E68A

Key	Value
MD5	AB2EB05DA2E1B3A2A783697CA9C23382
PackageArch	ppc64le
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	3.fc23
PackageVersion	4.4.0
SHA-1	0FBF493215E6AD5691794B9933D9B06EF96171A5
SHA-256	634DE45171319129925AAAB98204C2C55DE7721C45FA94E6345F01B3F7256E54

Key	Value
FileSize	5631592
MD5	4757E76F98E10203283596759E8E1BF9
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.4.0-5
SHA-1	41D0FB7173CBBB7448709D5385582EF927E2E9E3
SHA-256	1773FB9BA43AFC29A97CF5895F8126ABCF2601923A8413BB687589E5FB58529B

Key	Value
CRC32	FAC90C98
FileName	61129
FileSize	5239022
MD5	DCB09FAA58DFC60B2CD90D0995C26A52
OpSystemCode	362
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.4.0-5
ProductCode	184821
RDS:package_id	184821
SHA-1	D8042D3FAA4F5C4BC19DD0820E9E3B14F82FF477
SHA-256	E8DC59A3AEA03D01C9AC128D94500138691928EBB8E7901F02D69D36657E45FA
SpecialCode
db	nsrl_legacy
insert-timestamp	1648755885.6265075
source	RDS_2022.03.1_legacy.db

Key	Value
MD5	72110B234500523E1CDEA604F475936F
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	3.fc23
PackageVersion	4.4.0
SHA-1	3002902EA8D40ABC5E333046722F4DCE82C54489
SHA-256	C37B9B19070722AF71C09F9635C862C2DF0D6734CD8A2C2997A06EEDD7533438