| Key | Value |
|---|---|
| FileSize | 90828 |
| MD5 | C52106D9EBB514A32A158697201A0CC2 |
| 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.8.10-1 |
| SHA-1 | 9B4F880DF7BF218B2861535DF2EEDF0721ABE282 |
| SHA-256 | CB651C0C2CB6C231F926857AE8674334FFC3B5C7A821CB955557967AFF405EEA |
| hashlookup:children-total | 18 |
| hashlookup:trust | 50 |
The searched file hash includes 18 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | changelog.gz |
| FileSize | 16716 |
| MD5 | D700BFCB37C998CC9671C6E3E32F9A1F |
| RDS:package_id | 294729 |
| SHA-1 | 067874D4666198DE3C55C5FBCE03F7785651FB14 |
| SHA-256 | A9A0DF2B24684A4210F3DBFC38620ABD186B397979529214E241EB00B2EEB415 |
| SSDEEP | 384:vONisboFGXR4JBMKxjIa3f8mmy8BYw/p/rxl7BzpKYdb:vONiskuRiBTlfTmy8BY85NzBt |
| TLSH | T19A72D0AD12141A4FC42CB47C965201A3FCB5FDA1B13BF5CC795C728A92566903A78D1E |
| insert-timestamp | 1696432797.9670596 |
| source | db.sqlite |
| Key | Value |
|---|---|
| FileName | ./usr/include/z3_macros.h |
| FileSize | 315 |
| MD5 | D7F161BBBD9E2433ABACDE8DA0650928 |
| RDS:package_id | 302126 |
| SHA-1 | 093767B1EAC6BF17CAD8CEF328EE205A3EB03CCA |
| SHA-256 | 34AF023C4E2884D0DA3431BE447F073FCCBB54BEF2E1B12C6939103F45917AD7 |
| SHA-512 | BF02D3296DE7007BE04D33362F36CF06D9444386AB1E49745621E671075BD4737D2135A1D3ABB559CD634C962AFB0FFAC0AF61440FAF535C440C2699967EBEFE |
| SSDEEP | 6:mUZBXVLu6l/bnY6WLdFGOrLsWki6C8Mb98LrOsxYDPE:mGBFS6lM6udFGFH5/Ma9xYTE |
| TLSH | T106E02674659AA0B050145A63848C69545A9EEAE31793F9AC84C29F280BC960261FD288 |
| insert-timestamp | 1728242035.302708 |
| mimetype | text/x-c |
| source | snap:isco3uAbV8loHXUSaF1yGB7gjAVyKPF2_1 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | changelog.Debian.gz |
| FileSize | 3612 |
| MD5 | 44CEE40392002DBA235542691F5A0DBF |
| RDS:package_id | 294729 |
| SHA-1 | 499547F4D5579D492E74A20429201D15AD313D00 |
| SHA-256 | E9ADCB0B22A7D239EB83CFBCA95203BE8462FB25EA7C3AACB60115EDCBFCC7E5 |
| SSDEEP | 96:gq7mJxbcafVfQu/nergEEPZ0bAHOuCk7toZ/jG:OJx4wfPnesE/bMCk7MG |
| TLSH | T17B715CD9BCADC534E37D771407065C07DE6AA34A06D3489A2335C54624E5BB4EA33E5C |
| insert-timestamp | 1696432797.9728963 |
| source | db.sqlite |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/z3/copyright |
| FileSize | 2283 |
| MD5 | F967E789D58BE4415F0EC8B561624170 |
| RDS:package_id | 294729 |
| SHA-1 | 628A8268DC584DF6DC1F453CAF51AFD0237464B9 |
| SHA-256 | FB121B9D7F2A3ABF6D29CE681578FBCBF6568F2D02070BAFE85277B392244B9F |
| SHA-512 | 2D1BCDE441978C244EDDAC58CE405420501A2057CAB7C1ADD92F5EEA97521E3EEC6D21ECCE9233A6EBF3A1D300CDE91A69F5245942CC48856855876E8E1D8CB6 |
| SSDEEP | 48:iXD0a3yyJLl/El5wH0s5ANU3oWFiypwGoyvHq+nxi8:iXD0azcbwHFoVypVrRQ8 |
| TLSH | T13841B50E325087BB1A4123E03956A8CEF33BB297757D5580740EE38E9B2607D52FB498 |
| insert-timestamp | 1712804945.0724366 |
| mimetype | text/plain |
| source | snap:t2lB6va3EDQHQDV1Uq9kY084GSymT9kb_29 |
| Key | Value |
|---|---|
| FileName | snap-hashlookup-import/usr/include/z3_ast_containers.h |
| FileSize | 5729 |
| MD5 | 6ACC97B069965281DE022BCAD05C089B |
| RDS:package_id | 302126 |
| SHA-1 | 65178BA6B3C9F9FAF5506F57D350813BE43F736D |
| SHA-256 | FD3ED2784B1E41FBE8AF90599236C7AEC48722B09C91664056940F5EE9BD143C |
| SHA-512 | 2A47AB5FF79F7A5D66D336B98714C0E1329BB36D35138BE659C23167390C85977A7DA673BBD108E667D4D77D4D6D59F8D6355569036830C9F80BD8A1075644C6 |
| SSDEEP | 96:bDGsjKd717dffqqy7zXzuTX4rKwKdjpScfhSkm+XUc/ymX+cAvVXyKVXDPcjqSOM:r6171fqq4jz+4H8jpSEhSk9UOyw+VByz |
| TLSH | T175C15A817DA909A3DF57EF38238D65814219F1D3C3E9A6A0357F65DC1FC0B908BB41A6 |
| insert-timestamp | 1728242036.1455784 |
| mimetype | text/x-c |
| source | snap:isco3uAbV8loHXUSaF1yGB7gjAVyKPF2_1 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/s390x-linux-gnu/pkgconfig/z3.pc |
| FileSize | 287 |
| MD5 | 073FDD9E4C235770D6175404D37DDF44 |
| SHA-1 | 6CEA0CC54215479DD1ADE8C424E44BBDA4A23BAB |
| SHA-256 | D39D312E0CFF37A9948FACAF726016272D796A4128EBCA80CEAC72E64E7131A5 |
| SSDEEP | 6:iD5ixrp0XAOErp01e26XYBei15AvV+A19pMK2GziIa6XCn:iwMvmUJB/5Av1bTziIah |
| TLSH | T1D6D02B35F45C63EC788ABBA865C3968094A7C22EE136F151E6F03B4461923DCD03BA83 |
| Key | Value |
|---|---|
| FileName | snap-hashlookup-import/usr/include/z3_algebraic.h |
| FileSize | 7189 |
| MD5 | 2882A94E6466B01993C5C665E47195D1 |
| RDS:package_id | 302126 |
| SHA-1 | 7CFF28435EB01ED82B786FD790DBF671D48F36E3 |
| SHA-256 | A03B4B88F05C689F2D4364E6F186D4D7D23CA5848A96158BA0D416990028593E |
| SHA-512 | 4B120D0FAB94CED232DEBACDA821D1740DD2DC32BA45BC3B242E07CEC6732A45CCDA47E55356026A16DE9258652D0AC5231DB5B36FFED44754C062185DA9E73B |
| SSDEEP | 96:mDGF6lwyoXi0Xc/X3XWX6lXxwXMXWXBPjsXKXMXVDXAIXbXoh1QGzX3Xv:nPvcPHAsASAljykSdZLoh1QgHv |
| TLSH | T10AE17B68FCD214629353DBF8098E2446662CB5E372F13FA07E2F56BA2FC9591D63C201 |
| insert-timestamp | 1728242034.6806438 |
| mimetype | text/x-c |
| source | snap:isco3uAbV8loHXUSaF1yGB7gjAVyKPF2_1 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/include/z3++.h |
| FileSize | 163331 |
| MD5 | 70B3D510E79A6A516523176259522BEA |
| SHA-1 | 7EF686B29CD4881114005F867649DCA15AFE9690 |
| SHA-256 | 1AECC792106713616B412F2996A7F44049ED4D7C8430638591155912B06A0B14 |
| SSDEEP | 1536:lb2cXb7woKkGWgBPl51bftOnTFb0u8X47ZJ00Z/1/E9t2mMwNBEx:Z2gXJ6Pl51bftOnTFb0u847Z+0k9E |
| TLSH | T1CFF3514579E3513A061263B9065FD092B32C906733A8EEA07B5F65A0AFC1508F7FB9F1 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | snap-hashlookup-import/usr/include/z3_spacer.h |
| FileSize | 3895 |
| MD5 | D318A14F26A36CD3A2D9E0EC53D5D5C1 |
| RDS:package_id | 302126 |
| SHA-1 | 83666EDC44212933EA4D2C0F36CCE43BC1320225 |
| SHA-256 | E29FDDD7F520DF7BB59F0C3E812D932C1C6757CE539144D8D27EC303B21451BB |
| SHA-512 | 5A0C16478F615F4C5550EDF9A61B10B2EF55513D2F8607791BA21C2924F10BB91589C6D4799DC9A36BD0443F0CCEFCE4EB6250D6ABB35A61501950C27890A2E5 |
| SSDEEP | 96:g+igmopFQpjAd2idfupXBAqYXeSxbTXyRXcO:BkGFQpjAoiGSPeSxbDoj |
| TLSH | T12081DE707CA35D12E211EF34B6CD5842460DE14797D235A03AEF93AD2FC65D14BB186A |
| insert-timestamp | 1728242034.5134008 |
| mimetype | text/x-c |
| source | snap:isco3uAbV8loHXUSaF1yGB7gjAVyKPF2_1 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/include/z3_fpa.h |
| FileSize | 36000 |
| MD5 | 95A6B089AD06C3E8C83B025735E3472F |
| SHA-1 | 88DE02F11B0D7E6D85C0C3E35601D9740D2C2379 |
| SHA-256 | 3EF9FF2CCC380F331C817F1ECBD7903BFD96A8DCB18B56EC9AE3D658E9FF36ED |
| SSDEEP | 384:xpwpwPecETp+Tp2TphTVzTpwTS0Xpo0jpqpup0pmpFpMpFjGTDttEZbNE0Fy3IE9:xpwpkm0801l |
| TLSH | T115F2DD903F98165ED30E57391189B043B249A0D332D0A36436DF6EDE2FC78B6CBB59A5 |
| tar:gname | root |
| tar:uname | root |