Parents (Total: 10)

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

Key	Value
FileSize	366524
MD5	29F97D72CFB3C55037A5BDA040EA7E05
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~deb10u1
SHA-1	1CC9020D0D4B44199A673C26246C980034596479
SHA-256	C7C234FE3BF9DF190294FC4218359C2F5BA7D8528426B4E319BC80D383573CE3

Key	Value
FileSize	538664
MD5	D51BCA06106130E07406C744171E95AD
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~deb10u1
SHA-1	22FC6AB5109808E48A5B634029137AA0CFB1F448
SHA-256	C4C89F8334E847604B882FF39AB856CF0D2F61F1D746C6A6762B8B3E507C0B1F

Key	Value
FileSize	494544
MD5	38BC2E4504E3F40DB0BA4943F3EC9E5D
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~deb10u1
SHA-1	62894FB7A3CB7DCE7E2A8F159113897B9FAC504B
SHA-256	0F8C6CC098AB92CF82A1E0CFA45ECB30F5145726A0EAF58A7BBE4E1633D718A4

Key	Value
FileSize	358484
MD5	4073C8DF71AEA4F8D9A5617916543534
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~deb10u1
SHA-1	DB76270A450282F003A4F8240B8037582D3D9685
SHA-256	E3427EC5AC9A3D1BCC99E22D1ECA4364F2A24A3A8C3101FB702A7BD827CABAA6

Key	Value
FileSize	517808
MD5	9A82BE646183818E5615437C3EDEEC10
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~deb10u1
SHA-1	F7795A0A37804C26ED7AB874BC4518778D6BCE2A
SHA-256	41289073F8912C884F0F392A970210BF3FAD724C583B65CC85A5FA2FCE8B2A32

Key	Value
FileSize	532268
MD5	B641366F3C36F767A1FAC44ABFADFE74
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~deb10u1
SHA-1	CBA80C153DE07070163B380CF4D5658846D51D5E
SHA-256	94E69F328CBD5AE15E601E62228A8C57AE2AA1C76A4C3326A1DD5665B0928543

Key	Value
FileSize	526152
MD5	F7229853B363FC470E67A859B56A7741
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~deb10u1
SHA-1	A1E3537F2FDFAD507DAE77504B9C183324BA9C7C
SHA-256	6733F4C803FBE3E8BA859001DD7A0BD1071F53FB52BA6A0103AB0C5918C0658C

Key	Value
FileSize	497860
MD5	C11D5EAB88E7A25384D88912F0719970
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~deb10u1
SHA-1	66AF90775E0AE0C775BA3FD568D9EB4904ADE420
SHA-256	39BA1C539674E3B12611A9587539F9D53B54585347DB3C3DAA06521DB4AE0C0E

Key	Value
FileSize	337640
MD5	4854F0A2A514E8AA55052681A6E717D1
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~deb10u1
SHA-1	BCCCEFCA029DD528EF75E1B1A2DBFDB33A09343B
SHA-256	BD5EF45FCEFE6709A6A76DFEB69D308E6758F4C2346AB1469C400A468E0E4FA5

Key	Value
FileSize	346984
MD5	B16BBCB18560B4405B32ADE2ED75266C
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~deb10u1
SHA-1	5E30C70242F4FEBB82F747D0D938476CB0EE26D6
SHA-256	42FC02D335C8BD1EAE30B1EDD152F3E7ED0215C1024065111097668EBF532A17