Parents (Total: 30)

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

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	4808272
MD5	AFB7599482CDD959180A2183BB664B37
PackageDescription	theorem prover from Microsoft Research - runtime libraries 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 contains runtime libraries. You shouldn't have to install it manually.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-4
PackageSection	libs
PackageVersion	4.4.1-1~deb9u1
SHA-1	1BB03164C0DA1221B36676A77B5011A4C73AA6EC
SHA-256	2D551C08ED0104DF547E4E98D113D702D80C12D2222B584A7DB86474DCA6B02A

Key	Value
FileSize	5693330
MD5	80803D62390F1ACA107A1DDBD54F5158
PackageDescription	theorem prover from Microsoft Research - runtime libraries 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 contains runtime libraries. You shouldn't have to install it manually.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-4
PackageSection	libs
PackageVersion	4.4.1-1~deb9u1
SHA-1	24704C432911DC17DF797F402E3464AAD328CBBD
SHA-256	8CB031CC57FB23564CF72946A03A9C27995D5ECCB5CA484DE53C6F841826420E

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	5159356
MD5	1E164058196421E69C48AF6AADDF2015
PackageDescription	theorem prover from Microsoft Research - runtime libraries 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 contains runtime libraries. You shouldn't have to install it manually.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-4
PackageSection	libs
PackageVersion	4.4.1-1~deb9u1
SHA-1	588EC0C66C9FB5EBEAB890C782CEEF1986AA4820
SHA-256	A484FF8C2883A29AC6CB2AEFA89037ED54443282F767281854723561EF3CE186

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	4413062
MD5	1AC7E647893E2B2CA53A8FE7B493B54C
PackageDescription	theorem prover from Microsoft Research - runtime libraries 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 contains runtime libraries. You shouldn't have to install it manually.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-4
PackageSection	libs
PackageVersion	4.4.1-1~deb9u1
SHA-1	63F70652CF4E402EDC9205B2F380F3BBC52E700C
SHA-256	7A4B487AAF64A5A2CAF95AC6C4102CF709067C8F1D35350B18D40A606B9BD522

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	4302364
MD5	5BBC9D4638E84ED917CB179721D6F382
PackageDescription	theorem prover from Microsoft Research - runtime libraries 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 contains runtime libraries. You shouldn't have to install it manually.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-4
PackageSection	libs
PackageVersion	4.4.1-1~deb9u1
SHA-1	6B57252D882A49B61CC93E779E774D3029FEBBD7
SHA-256	05B12BAA7B81CB67964392D6A4C146CCF4E5C040675BF7D57BC866F01D7446C9

Key	Value
FileSize	4239594
MD5	581F364240AF8125B7D3EB514DB38BD9
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	7426267ABF150B038B59AE6E651A35FC6065041D
SHA-256	52FCBA6F7772F5539B83907CFA89950986AB3C0AE49ECC4CD031E0AA24AA0263