Parents (Total: 9)

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

Key	Value
FileSize	6109928
MD5	CAD699EE29D9D79519E2D0FDD8854EED
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.8.12-1+b1
SHA-1	A2FC464E337B6601D9F95C6CBDDE6129AA8E3767
SHA-256	5F9E7A58F3ED989C949BEC77661B711186C62235A8A8338956409E0CAEB0745F

Key	Value
FileSize	6084432
MD5	7EE0A1EAA971A0D33D31F7CF5DD4BEFD
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.8.12-1+b1
SHA-1	7109803C9C991CF73271867ED6965D270D438A5D
SHA-256	F24693A3A6DC5D910E14FDF7892C1136761358E60C1B087A23B60EC7AF692739

Key	Value
FileSize	7012200
MD5	A3B83E0C87845DEF3BEB69CCB06B2FFF
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.8.12-1+b1
SHA-1	5F382F7E4C8DF4BB6AC208C7901603F6BE817067
SHA-256	AD6329B1D22BBE74CAB74FD5A2927CB08956E8BEE714ED208FEC1B94EE0E01A4

Key	Value
FileSize	6309908
MD5	AD875BF0D594FB68006F5C035D098630
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.8.12-1+b1
SHA-1	3D3DC46D8BA31093F67A661207AF85E5F2C0C536
SHA-256	E628330482E4DD4DE708CCDF3473AFC22A90B3DC72540DE405B13C70C7126580

Key	Value
FileSize	5753180
MD5	8DB1382AF4AE1115BE3294B6A3DE6B8F
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.8.12-1+b1
SHA-1	A2D1E940C826096D3732ACD9E70D8CDD2118FCA7
SHA-256	858C7140ABD8CFA258C72FF52471CE54C86B0920DE6C2FC79F0C1CCAE8863E15

Key	Value
FileSize	6039420
MD5	07907E1273F3FBA22F6A3CA0CDCA6348
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.8.12-1+b1
SHA-1	661EC524ED57D2E5B6F11CB77031257958BF06B4
SHA-256	548FA74FEC6D11193ADEA89D88158D468E8C531625F88FC504D9636D6B8D7A79

Key	Value
FileSize	7781316
MD5	E980154F55BF088E43AF8922061E2464
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.8.12-1+b1
SHA-1	C00B95CF70405B882F0C989CEAE4049781CFF413
SHA-256	E188AECFDAFA0BF9E4DD6DEC4BCFE85B31D01ED5BE6332BC82EA7FD4E2680043

Key	Value
FileSize	6174404
MD5	AE853EFA2A3D00C8A1DAD0655BF25E3E
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.8.12-1+b1
SHA-1	FA4372405CBDABC8174770F1D06A37B3C57626C3
SHA-256	C8100D36C9419F27C8FF53FA2CD9A96961DA7B9A58689E33A28E7CC615DF413A

Key	Value
FileSize	7276916
MD5	0E04F3530873C620B5361AADB7707A33
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.8.12-1+b1
SHA-1	1ECCDC8DC5E9DF966B0E583DE172E5BED20B1CD4
SHA-256	E85BABF30E26F9C5C523E6A25D77585C175CC0E6AA5F8B74BC8146DC623250F2