Parents (Total: 26)

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

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

Key	Value
FileSize	470756
MD5	46E312720B848B702B126AE84085895B
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libz3-ocaml-dev
PackageSection	ocaml
PackageVersion	4.4.1-0.3build4
SHA-1	1652B3709492CA74B7D8EC0921D05DF44F157C38
SHA-256	DDF958EF595760F6C9373FE2FC916C718E1964F7A0158FD19AE00F995F798542

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
CRC32	35762DFF
FileName	61127
FileSize	454228
MD5	082E389D9F2B6181065C5C9C2CF4B914
OpSystemCode	362
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libz3-ocaml-dev
PackageSection	libdevel
PackageVersion	4.4.0-5
ProductCode	184821
RDS:package_id	184821
SHA-1	2F5C4123407FC1E47E60F6459976C0B65E0E3518
SHA-256	AC1617AFA50E089B497EF9D9E4BEDAA3B590B65EA2C08F4D07EF1F6BE2DDC31E
SpecialCode
db	nsrl_legacy
insert-timestamp	1648755885.7431343
source	RDS_2022.03.1_legacy.db

Key	Value
FileSize	309418
MD5	503076469B413A2351EEEDB25FBE71DD
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	35DF5DEEDCA54E4A7819B62872455B0CF5C94D5B
SHA-256	8D20F6A6F805314D49399B3CA762325C3BFE76F6B786C5643DDC9B4B9368718B

Key	Value
FileSize	318716
MD5	E16ABC305EEFFC080EEBAA4DADA99117
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	3B20A5C264B05B2957C75C4453520BD48309DEB7
SHA-256	ED557AC2A3ED61D0B9AA62141368D294F7BE5A6015D892FDD67DE717E555553B

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