Parents (Total: 48)

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

Key	Value
FileSize	6808260
MD5	A3F9606FE9BD7262E35B051488A47B61
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.7-4build1
SHA-1	03A0A7A84D5E9F53746A632B9ED8F3D9DE6DEA47
SHA-256	A3E38300C98445E84F493D3B07E777E54017395D5C779CBB746CEB62A69847BB

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

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	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	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	5631592
MD5	4757E76F98E10203283596759E8E1BF9
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.4.0-5
SHA-1	41D0FB7173CBBB7448709D5385582EF927E2E9E3
SHA-256	1773FB9BA43AFC29A97CF5895F8126ABCF2601923A8413BB687589E5FB58529B

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	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	4820244
MD5	860CEC2959126FCDB7391BB6C217C299
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.4.1-1~deb9u1
SHA-1	5C5DF133A51FE7293F3836FAEEF840B048D3A79F
SHA-256	BA840D5D3488AF47E980B442A74D49D905ABBDD61D630BCC59E7E934170F135D

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