| Key | Value |
|---|---|
| FileSize | 92156 |
| MD5 | 87F9CBBE0090D6E24AEA568AECD12C07 |
| 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.12-1+b1 |
| SHA-1 | F2253DB3FBEEC6C15FBF33EEC6C4D44352364D7C |
| SHA-256 | F9A4B05D5258C570A7710B99D93F44360E91F942A4E4592626A11B0FB28E34FF |
| hashlookup:children-total | 19 |
| hashlookup:trust | 50 |
The searched file hash includes 19 children files known and seen by metalookup. A sample is included below:
| 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 | ./usr/share/doc/z3/changelog.Debian.armhf.gz |
| FileSize | 218 |
| MD5 | 1C2CE883244E815C56556324F72745A3 |
| SHA-1 | 2204DB53D9DCB4CD69442F533AC55244052AB630 |
| SHA-256 | ABEACFF3890B9B52657F294067FF3E2A2C3F56975DEE3E1DE3B3AE20B3559B2C |
| SSDEEP | 6:Xtmeihi/peGZGT2evMUmNXa5bOFFXsrl8QxcE:XoeCiDoTXcgOnXsJ8QSE |
| TLSH | T12CD0232D14447737D53BB675D45518255D0CD1289533D0B3E971C0F960D5A40B4D8224 |
| Key | Value |
|---|---|
| FileName | changelog.Debian.gz |
| FileSize | 3716 |
| MD5 | 877AB99E783C14B062D831E1A49F2FB4 |
| RDS:package_id | 294776 |
| SHA-1 | 5392F0A6C8BBF2C1D6B8F6B0C7D596577DB919F4 |
| SHA-256 | 4FF710099BB258A6586D2AE4AE967B3B6F824C6D3CED10DF3CC7893FE3276058 |
| SSDEEP | 48:Xj7XRe/PKg59Trndnrt+ulyfJ+8N4T0Oa5xhPOmwZCpZWvqd2+tUE/VrWsPokkv2:fX0XKaHXUCIJh2mXpPdhUsVBkvE+LT6n |
| TLSH | T1CE716D02933553E4BE5802FD973866E9B2849382CEB7762B762B86F4C5C8D48F371A14 |
| insert-timestamp | 1696442263.1838686 |
| source | db.sqlite |
| Key | Value |
|---|---|
| FileName | snap-hashlookup-import/usr/include/z3_version.h |
| FileSize | 212 |
| MD5 | 420C55177F6CE459AE654A140F9DF215 |
| RDS:package_id | 302126 |
| SHA-1 | 59E64D450692BF734C8C7D42A08FBEED9732B0EB |
| SHA-256 | 00E373E999A10B3B6A216C1C087D7AB61552790827A5481B0185A08985CDEB7E |
| SHA-512 | B7003FAE7B8BE97DCBE9434048D98512FB6DBD72AB8F235A8FF33AEB689CA14AACFBE425B0265AF2DD2D7C283EA3DE27F2672D2EE5F9D1F61026038FBEA4E812 |
| SSDEEP | 6:jUsimSOiGgcfF/84LfF/0GNanWGu708VGGDlfF/a0jiJ:jFimrLNZN37FL5NaeiJ |
| TLSH | T1A2D0C9123D855292E838539586DAE4155CA0ED33D205D8ECF05B7C8DABD5C1807FC3EE |
| insert-timestamp | 1728242036.4863365 |
| mimetype | text/plain |
| source | snap:isco3uAbV8loHXUSaF1yGB7gjAVyKPF2_1 |
| Key | Value |
|---|---|
| FileName | z3.pc |
| FileSize | 295 |
| MD5 | 48860F52E283C0B72C1F00EF8BEB08A3 |
| RDS:package_id | 289321 |
| SHA-1 | 6028EBBEDC4E0C932908556987E6137FBBC3E4CA |
| SHA-256 | C92A44BF37211F660EDFDCF248697C62CB256F65206164275C3EFE4945643A95 |
| SSDEEP | 6:iD5ixrAIICUMRsErAIICUMRI6XYBei15AvV+A19pMKYGziIa6XCn:iwAIjsmAIjIJB/5Av1b5ziIah |
| TLSH | T171E0CD35944C57F96489BB6554A3560474A7C61EA237F694DAD037451051348D03BA43 |
| insert-timestamp | 1678929730.6195111 |
| source | RDS.db |
| 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 | copyright |
| FileSize | 2283 |
| MD5 | E803A46FEB27E4B26C5F7F4886E92982 |
| RDS:package_id | 304063 |
| SHA-1 | 6ADC491850496FB90A63DDCE783794ADE53EFEF9 |
| SHA-256 | 807F874C81A0DBCE7D4E32B1A4E1EF1E094B9A3FE8579F34E60FDA4F2077289C |
| SHA-512 | AE7E30C28FEB4D7AD1ADFAC42D37FDB0C02A5BA72B0C3253FFC71DD41BD788A8EA1C19AB652603F61FEFBA0B3DB65344A44C26BA2AA5D16CC2AF004098A2755C |
| SSDEEP | 48:i4D0a3yyJLl/El5wH0s5ANU3oWFiZpwGoyvHq+nxi8:i4D0azcbwHFoVZpVrRQ8 |
| TLSH | T12841A30E324087BB1A4133E03956A8CEF33BB29775AD5580740EE38E9B2647952FB498 |
| insert-timestamp | 1751766817.726123 |
| mimetype | text/plain |
| source | RDS_2025.03.1_android.db |
| 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 | 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 | snap-hashlookup-import/usr/include/z3_api.h |
| FileSize | 240888 |
| MD5 | C04CA5E45E20BDBAFB226C9634BEE785 |
| RDS:package_id | 302126 |
| SHA-1 | 89152C37E5333D3DCCA458CBC61E32F0E81FB889 |
| SHA-256 | EC3F522E5DD2048AE517BF48A42175296F8675F9CAD30A590F593B82FCF26652 |
| SHA-512 | 5029571E00B144EC9F54E1C8B15E6F8D316CF6ECD7579D1E772124877960152FB6CAE4A02DD7918FC1330120D645552E56F6BD2E46123F506A6423AB5A95AFFF |
| SSDEEP | 6144:CP/MxmxXyeOe9MEP5nV6HeQIlcM0V0114tvKA2Nn8aelrqA/Zd0JdjL+V+Lu8ZSo:CPUxmxXy91M0V0Xn8aeJqA/ymV+L4iZ3 |
| TLSH | T1F334C7907D9716A3C257DB3812CD6442530CF1A363D1B2A036AF87EC1FC6AE4D3BA566 |
| insert-timestamp | 1728242034.7741015 |
| mimetype | text/x-c |
| source | snap:isco3uAbV8loHXUSaF1yGB7gjAVyKPF2_1 |