Parents (Total: 7)

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

Key	Value
FileSize	472812
MD5	51D419A5AA2DBCD9A704B90E6F9976AF
PackageDescription	theorem prover from Microsoft Research - OCaml bindings Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3 package for a detailed description. . This package can be used to invoke Z3 via its OCaml API.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-ocaml-dev
PackageSection	ocaml
PackageVersion	4.4.1-1~deb9u1
SHA-1	7F5E01C7BDC62C2C08B49EFE25FA6F885FD3083A
SHA-256	CF645BDC7FDAB34A5A1FC9F8512893550479E4A344E1E5A202E76613C7A89735

Key	Value
FileSize	462898
MD5	2D13DE6665C44833AFE663FEE012C1C0
PackageDescription	theorem prover from Microsoft Research - OCaml bindings Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3 package for a detailed description. . This package can be used to invoke Z3 via its OCaml API.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-ocaml-dev
PackageSection	ocaml
PackageVersion	4.4.1-1~deb9u1
SHA-1	546096E75C17AF407E95FDFB32F566149705D5B4
SHA-256	F2ACDE238CE9C85F712A836133EDBD6BFE04B3011D63750CE1A5E3473E9B967F

Key	Value
MD5	EACC5D7FCB6873ABFB83A8C279F8D253
PackageArch	ppc64
PackageDescription	Files for building ocaml applications that use z3.
PackageMaintainer	Fedora Project
PackageName	ocaml-z3-devel
PackageRelease	4.fc24
PackageVersion	4.4.1
SHA-1	0040FD26EADD70E2FD7E7F2AD99EC87F229FA27C
SHA-256	19647745D75B46EC73D8BAF09E0FD090A09746708619AF86498DA177BC6A7C73

Key	Value
FileSize	425278
MD5	ADD8F02935A88D83C3419F8D30CF08BE
PackageDescription	theorem prover from Microsoft Research - OCaml bindings Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3 package for a detailed description. . This package can be used to invoke Z3 via its OCaml API.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-ocaml-dev
PackageSection	ocaml
PackageVersion	4.4.1-1~deb9u1
SHA-1	55D47BCF17A19132AFE6B8F26294287C67C605B0
SHA-256	ABCA61FDEE04E7282F92886D1B7049B361C30B4FF61B3721CBC498C897C72C44

Key	Value
MD5	22D4835667C3B036BDEB80B39C42C4F1
PackageArch	aarch64
PackageDescription	Files for building ocaml applications that use z3.
PackageMaintainer	Fedora Project
PackageName	ocaml-z3-devel
PackageRelease	4.fc24
PackageVersion	4.4.1
SHA-1	068B74B13A760F74CC42BECBC2246DC22B78A877
SHA-256	9041970C45A9479A742547E5A5DE05528C2EC034686C9C7B3FA62D3275427130

Key	Value
FileSize	467876
MD5	40065D9255A0E25F4DB174209DBEA4E7
PackageDescription	theorem prover from Microsoft Research - OCaml bindings Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3 package for a detailed description. . This package can be used to invoke Z3 via its OCaml API.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-ocaml-dev
PackageSection	ocaml
PackageVersion	4.4.1-1~deb9u1
SHA-1	9FD52B936918E9E5981898AA8DACCEE7196C0049
SHA-256	AEA896879616423146B7E5CCE3CD547020F5D5442012FE8D10A04E2A6CB9F28C

Key	Value
FileSize	450964
MD5	1E58A3333C02BA48513EF471788F4A56
PackageDescription	theorem prover from Microsoft Research - OCaml bindings Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3 package for a detailed description. . This package can be used to invoke Z3 via its OCaml API.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-ocaml-dev
PackageSection	ocaml
PackageVersion	4.4.1-1~deb9u1
SHA-1	0AE4C46F601117EE7DAECFFEAD8AAFC0E6D01EF0
SHA-256	D982D744BEB7D1803F38F106F1E30C1ACBBCC3119C8489F7ECB5B68874E2DF21