Parents (Total: 27)

The searched file hash is included in 27 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
MD5	3350867F6A9A0A22C778871C8109EB5D
PackageArch	ppc64le
PackageDescription	This package provides debug information for package z3. Debug information is useful when developing applications that use this package or when debugging this package.
PackageMaintainer	Fedora Project
PackageName	z3-debuginfo
PackageRelease	4.fc24
PackageVersion	4.4.1
SHA-1	31685D5D0624EDEF3F2D1158126D31DB4A47EF58
SHA-256	8E15956EAF5164FE53DDE14D6E28E8B1F1DD4CC95B362C5705D672F6D8241167

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