Parents (Total: 30)

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

Key	Value
FileSize	79652
MD5	FE6E2AE0F80512D7CA3C2A0437C2D567
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.4.1-1~deb10u1
SHA-1	022B0A5632278ACE4D030A68F16BAF7E02BEC944
SHA-256	48373AD1D8542F792F4C53CAF6E123E52E82DE8A1A97D9C5E8B052D8BB25076F

Key	Value
FileSize	79656
MD5	119AD50AC373D127610F62C72719559A
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.4.1-1~deb10u1
SHA-1	2EC7DA421C066525AAE78B0BB418A5328D70744A
SHA-256	A3C4465E1D2DF197CDFCAD3E6ACFA65FC87B7BF73B6F3D10846AE9137BA8DF9C

Key	Value
FileSize	4334368
MD5	08611370400429E2E7BBD35E9303AF88
PackageDescription	theorem prover from Microsoft Research - runtime libraries 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 contains runtime libraries. You shouldn't have to install it manually.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-4
PackageSection	libs
PackageVersion	4.4.1-1~deb10u1
SHA-1	2F844F566BF8821BC4655EDB8B5E63E30F0E0E40
SHA-256	D287DA32AB23D8CB52969898F7A4FCFE7AD1C3A9CF36FAF916E279D53C1758E6

Key	Value
FileSize	79644
MD5	B6E49F79A382145A8D41429DB586B24F
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.4.1-1~deb10u1
SHA-1	31B84AA6180655B49EBA0F370B4744982B7E7362
SHA-256	818447BEECA7A430603FB14DD816E724CFE1327DF5652A9809BD69C74AB198C9

Key	Value
FileSize	5233548
MD5	FBC8664411CD44076304CD069868367B
PackageDescription	theorem prover from Microsoft Research - runtime libraries 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 contains runtime libraries. You shouldn't have to install it manually.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-4
PackageSection	libs
PackageVersion	4.4.1-1~deb10u1
SHA-1	3B447612BC4335DC89EADB7DEA3E4E4AFBF26557
SHA-256	DD90A841324173B5EADC08DF85E3367163A7B1E30197988899BE700693C882B4

Key	Value
FileSize	79648
MD5	28650D95176066B0CE27ADBD641D75FA
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.4.1-1~deb10u1
SHA-1	4B73D69F9D348316C869459678E004A830F6EEF0
SHA-256	1F0080B7C4049CDD16A4CA7943525813A6513E0EE35DDCFACBF06E4C7248C648

Key	Value
FileSize	4296492
MD5	05FD4A3459B89CD269C28FDBCFD77B88
PackageDescription	theorem prover from Microsoft Research - runtime libraries 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 contains runtime libraries. You shouldn't have to install it manually.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-4
PackageSection	libs
PackageVersion	4.4.1-1~deb10u1
SHA-1	50ABF353327FF6A84B718CEAFBF3DE0DBDEB3D84
SHA-256	1D1989183766C5359A3A17AD591D6F68F245D7020B365842620E36216F59C7BF

Key	Value
FileSize	4327572
MD5	CBD5DEBF63F4FDD6D0314134614C2AE2
PackageDescription	theorem prover from Microsoft Research - runtime libraries 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 contains runtime libraries. You shouldn't have to install it manually.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-4
PackageSection	libs
PackageVersion	4.4.1-1~deb10u1
SHA-1	630C35112D0103DFC17B5717A64B47C457DE8B6C
SHA-256	2AD0C8F6CD7C025C3743DBD8F573A78DDED22EBBCC0081D0E4B50B9B750FEE25

Key	Value
FileSize	4366108
MD5	92DC8DF6C9A7656D09C2794E6BC7FAA0
PackageDescription	theorem prover from Microsoft Research 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. . The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	z3
PackageSection	science
PackageVersion	4.4.1-1~deb10u1
SHA-1	68FF6FD39CDCFDA386F3097CCE6CDD34E666AEDA
SHA-256	30DE5872FC3C4285050462F2DA9D24C4D32691B04B8BE3A9599D796ADFE57272

Key	Value
FileSize	79656
MD5	D0086743AE472958F6454245F582B3A7
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.4.1-1~deb10u1
SHA-1	6AE9F41D36E0169B70BAE3443804E7E2CF72DA2C
SHA-256	3B21D5403D8B5232864B8521C5E9645243ADA8D8B67F3DAD8135AF058A19D9CA