Parents (Total: 60)

The searched file hash is included in 60 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	79628
MD5	05C942C36E215A57615D04CE803AC18E
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~deb9u1
SHA-1	1B177AC1575673F487B57243BBFB4C02AC1A58DF
SHA-256	4644A40F989A4F6EED81F686470899132AA86B6F3FB8EC21A603E1FE823ED9CD

Key	Value
FileSize	4808272
MD5	AFB7599482CDD959180A2183BB664B37
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~deb9u1
SHA-1	1BB03164C0DA1221B36676A77B5011A4C73AA6EC
SHA-256	2D551C08ED0104DF547E4E98D113D702D80C12D2222B584A7DB86474DCA6B02A

Key	Value
FileSize	5693330
MD5	80803D62390F1ACA107A1DDBD54F5158
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~deb9u1
SHA-1	24704C432911DC17DF797F402E3464AAD328CBBD
SHA-256	8CB031CC57FB23564CF72946A03A9C27995D5ECCB5CA484DE53C6F841826420E

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	79632
MD5	18636735F506526C9823B14D0C6A1EE5
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~deb9u1
SHA-1	409C68548B34A40ADA8582B1FA58AB7179B2C95D
SHA-256	34BD97998AE110020714255086FAE79377D65978945B2C2196185C29DCC14F15

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