Parents (Total: 11)

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

Key	Value
FileSize	5974420
MD5	6670A7C5B85F450DBFAB0359E0EF99A0
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.10-1
SHA-1	3157B8B8603E628FB3DCE7CFCE8D1F74ACEDD61B
SHA-256	72339202C63F0DBBE2040BC42B42C1C6894323ECDF7AFED862325512EAF65AE5

Key	Value
FileSize	6966116
MD5	FBECFA3FD25FD87101863B899CF5C01F
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.10-1
SHA-1	696B5F619720F1587B5935E3BDC4D66F4A996F26
SHA-256	86BAC76A2643B6F319730CE632F79C8E34769C76F7FF78B00989D8A78346DAF1

Key	Value
FileSize	6125564
MD5	57ECADC6BF2CE5F5FAD1D359A410F218
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.10-1
SHA-1	50CA96A2974ED29BB58A09EA184895A1CD8A0EC0
SHA-256	53D210E6090825EDCB4B0F4673BEA5BF29C527D266840F651553E2308251BAD9

Key	Value
FileSize	6966676
MD5	07E57AED10E9E0CFF8442C0F592DF58B
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	z3
PackageSection	science
PackageVersion	4.8.10-1ubuntu1
SHA-1	8233B96F975BF24C49B6810E0B89C5EE53D912A8
SHA-256	F0A97EFA8B014A6161B266B2C36CE37E3536B3132675DEC524910F6B74BC7C14

Key	Value
FileSize	7752876
MD5	C0E3BBFCE5E57E87F8A86A481565375B
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	z3
PackageSection	science
PackageVersion	4.8.10-1ubuntu1
SHA-1	73348014AAA5711921487DC879C03CA806373237
SHA-256	F04D7A184EB6EA696DBD81D8B925021B22755855F287F59696984BA92F6476AA

Key	Value
FileSize	6237568
MD5	A85E3355EA493D3A1B9A23232B30651B
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.10-1
SHA-1	BA1D45F9003620FD66AF534ABD0CE9F149DCE245
SHA-256	7C840900FB8856E34C2FC84D4D03694669529E00F3A0B293E1FA8877F4BEB20A

Key	Value
FileSize	6045080
MD5	1DAC7935DF50B13F4D70C482B76B37E3
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.10-1
SHA-1	54BDD16578A28A8050986536A32BE7F0E92D00F6
SHA-256	CFBA1AEFA12D9452CE98BA70FB53DA035549ADCE32CDFE045F97C0430DAD0779

Key	Value
FileSize	7758716
MD5	2F566C606BBFE0B67F59DEDFF616A8D2
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.10-1
SHA-1	3D0CBB1B0EEA53096AEA39969468535B44FFEBD7
SHA-256	206B44B0454FDB3CCA8169161756720A8FDA5CDE6A7A9CBD87EA6A2D2B559587

Key	Value
FileSize	7178924
MD5	41BF62D4D6AE110D222F916AE0C3624C
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.10-1
SHA-1	FC98EE6F3FCC769AE5AE1872C26C95B4BF04C06E
SHA-256	1D9366B1694AD71D8BD474E4096EE9DEBC5B53FD15462839C37A21F4C6FACDED

Key	Value
FileSize	5688192
MD5	0F3A01F61C5C8232DF4CA70C7E08117B
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.10-1
SHA-1	898B4D53175AE8DDEA9D40A78DF5DD6BFB07C8B2
SHA-256	C988F929041DED2367A75AFC6D58FA5B8F362301F89C3F3C1D2CC17C631EF56E

Key	Value
FileSize	6028200
MD5	EF5C9ACA1C0C088347CE7AB5F49D41E4
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.10-1
SHA-1	62F73304AFFEABDFA468466850438E0D531D7E99
SHA-256	D9B140E554816060322C1F84CABD83D62158DE26E3E96CE2BB067B869ECD66C9