Parents (Total: 8)

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

Key	Value
MD5	815D470D91CFFDF23B0DC783259C3597
PackageArch	ppc64
PackageDescription	Header files for build applications that use z3.
PackageMaintainer	Fedora Project
PackageName	z3-devel
PackageRelease	3.20150329git.29606b5.fc22
PackageVersion	4.3.2
SHA-1	858178CACBA07981B0F574FB392DCFBA0889D39B
SHA-256	0D51B6C914524D05D61AD67BE0F640C66EF7F6AC363C39BC98627416E051C97E

Key	Value
MD5	50C8513B6010082DDCCCF67A55B853D9
PackageArch	ppc64le
PackageDescription	Header files for build applications that use z3.
PackageMaintainer	Fedora Project
PackageName	z3-devel
PackageRelease	3.20150329git.29606b5.fc22
PackageVersion	4.3.2
SHA-1	6EA8684FCA65759984A2927FFECDB29AB1F65D8F
SHA-256	60BBA2448AEAED4F79556C178D423FC4A777ED6E97CBAF7B812A3B6C4F220B62

Key	Value
CRC32	D87C6C10
FileName	61124
FileSize	5311238
MD5	35484F00B85BD00CC5818D23919F7438
OpSystemCode	362
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libz3-dev
PackageSection	libdevel
PackageVersion	4.4.0-5
ProductCode	184821
RDS:package_id	184821
SHA-1	D4FACFC726AA783C211CA043BA9A6AAA06D3D1AF
SHA-256	7137EE1F254DFEEEEE346E8AF33B88F1A52E1A7C952BF5AD28392E85F4AE6466
SpecialCode
db	nsrl_legacy
insert-timestamp	1648755885.967776
source	RDS_2022.03.1_legacy.db

Key	Value
MD5	4FE290DEEB26703711EDF96AA7CC92BE
PackageArch	aarch64
PackageDescription	Header files for build applications that use z3.
PackageMaintainer	Fedora Project
PackageName	z3-devel
PackageRelease	3.fc23
PackageVersion	4.4.0
SHA-1	DAB5DC5619469BBC266AFE65DB42301B6E6734D7
SHA-256	F4419A3A69EF69BD6EE43ADF58EDFC70429BD7D95B63237D902AE7895B8BE533

Key	Value
MD5	104FF2A440C970527F43286041D0B941
PackageArch	ppc64
PackageDescription	Header files for build applications that use z3.
PackageMaintainer	Fedora Project
PackageName	z3-devel
PackageRelease	3.fc23
PackageVersion	4.4.0
SHA-1	54DDFEE92E4E5BC1B43EA032DCF4BC7526942874
SHA-256	0FFD4444A4E057C5D2FD31D0C05ECCD7DC6D63628F65C206A0DAA376CC221D3A

Key	Value
MD5	487EB89DB7C6CDE9E0064B79536E6E98
PackageArch	ppc64le
PackageDescription	Header files for build applications that use z3.
PackageMaintainer	Fedora Project
PackageName	z3-devel
PackageRelease	3.fc23
PackageVersion	4.4.0
SHA-1	E7E9DD9DEB65B613CE3078A8A7AF091DF2D8D43D
SHA-256	BE8025A7AC7041218B8131F1E721C25393693FB2681F783BEFBF0E9C9201E275

Key	Value
MD5	6035D9B4F1EE61A0273C7DFC2101EF50
PackageArch	aarch64
PackageDescription	Header files for build applications that use z3.
PackageMaintainer	Fedora Project
PackageName	z3-devel
PackageRelease	3.20150329git.29606b5.fc22
PackageVersion	4.3.2
SHA-1	3BF097869954756455A252B79B58E6C4BE269B54
SHA-256	F5753685DE285DCA361694333105974EA237643616562E78D4F987CE74717F29

Key	Value
FileSize	5676182
MD5	79323AEDC7A471E2510DFF788C580C5C
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libz3-dev
PackageSection	libdevel
PackageVersion	4.4.0-5
SHA-1	71746DFE4F3EC82997815A57A668DBDDC3C554E8
SHA-256	EEAA947CE2EBBB2149F3A77A6EAAC441B65789C7F1F05094682D95D4E088EF4F