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	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

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