Parents (Total: 24)

The searched file hash is included in 24 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	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	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	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	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

Key	Value
FileSize	64236
MD5	0A2E8760AF31E601E9C57349CD312F20
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	5538A6C690F2DFCE4F35D6407FD59DA7B8254387
SHA-256	60244CA3B8FA2EED22C470768A784BBBE7AC3915ECD39E2ED1BD3D8BF9A4ED3C

Key	Value
FileSize	79644
MD5	B555A2999E37BA97E50F63830FBA8786
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	65B8DC2A677A9696F59274C352C1BE5950449555
SHA-256	01E609ED560D1EEF86CDC8CD4EB434FF76FFFF07F80810544A00A1AB3E162546

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