Parents (Total: 72)

The searched file hash is included in 72 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	5710876
MD5	7ADA88288306F341D4267AF3A3DBA3FD
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libz3-4
PackageSection	libs
PackageVersion	4.4.1-0.3build4
SHA-1	0FA3FC0076E877854DFB7F77105121C9722915F0
SHA-256	10BC2097496D351A56F164C46BFEA76629FD3F44C35100ADAB8BA3343C6749F4

Key	Value
SHA-1	110A8F0EE38894EF146A286C970825D6C3B68326
snap-authority	canonical
snap-filename	2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_89.snap
snap-id	2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_89
snap-name	imprimis-game
snap-publisher-id	K7kicpmP9jRVgz9rkXviNV2cAS2rTbyZ
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2021-01-09T06:59:59.526204Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_89.snap

Key	Value
FileSize	64240
MD5	B63F75FA406F2DF1D283D2E282E58A3E
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libz3-dev
PackageSection	libdevel
PackageVersion	4.4.1-0.3build4
SHA-1	1976D7DE7572DF5774A1ECEB6C127912E3D7CF8E
SHA-256	6D0A0E2239BB08D301B4BDC9839966C24ED5A0809BD072391AB5AC0BF5BD7EF0

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
SHA-1	1ED8AAF0A64FC81E0B1844654F35743EF6E98E40
snap-authority	canonical
snap-filename	2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_6.snap
snap-id	2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_6
snap-name	imprimis-game
snap-publisher-id	K7kicpmP9jRVgz9rkXviNV2cAS2rTbyZ
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2021-01-09T06:59:59.526204Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_6.snap

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