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	90828
MD5	AFB5643BE2488A6672B2DBAAF640446A
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	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-dev
PackageSection	libdevel
PackageVersion	4.8.10-1
SHA-1	C4318BA4D0C0C7A180E28335B46D54D2D73B4CFB
SHA-256	C3E814472BD1F5077411F7543A8BCBFC531389F2AF49EF6B2FB8A684A53C3F17

Key	Value
FileSize	70132
MD5	3931EAC5F6EC90C885F84BAEF2AB186C
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.8.10-1ubuntu1
SHA-1	0995BA19A18AE6BE9B041BBE73661AF3F5036340
SHA-256	EF826499411875E4DC962AF8A8DFD439D4C3C227B905CD05D2273DBD765BB9FE