| Key | Value |
|---|---|
| FileName | libz3-4_4.8.12-1+b1_amd64.deb |
| FileSize | 6996716 |
| MD5 | B7BDE54BE7D92D6893B016C4BE1C93DA |
| 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.8.12-1+b1 |
| RDS:package_id | 288587 |
| SHA-1 | FCD05291F2D3D8BDA83183C2CC0E8615F6D26CE9 |
| SHA-256 | B415B863678625DEE3F3C75BD48B1B9E3B6E11279EBEC337904D7F09630D107F |
| insert-timestamp | 1670545111.3418539 |
| source | modern.db |
| hashlookup:children-total | 5 |
| hashlookup:trust | 50 |
The searched file hash includes 5 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | libz3.so.4 |
| FileSize | 23065800 |
| MD5 | 2A0CEC3B362048DFF7116AA6C026BD5F |
| RDS:package_id | 294776 |
| SHA-1 | 7D60FCAB5B6CE4BABB09537A9901D695DD0A286A |
| SHA-256 | DD91CC0062B246F413EDE3330E5FD7692E0D51200A1930B32B865D39C68D4695 |
| SSDEEP | 196608:DxrwdSs6DFl9QCUPC/7jWFsWLVLlcbmxmE8c73793nicdLXz1BjFVM5E:7t2PCta27E8c73xTdLBBhVuE |
| TLSH | T11D373A0AF6A218EDC1AAC874076BE5B3B93078A941353A7F7294CB311F56F30975CB52 |
| insert-timestamp | 1696440388.7126381 |
| source | db.sqlite |
| Key | Value |
|---|---|
| FileName | changelog.gz |
| FileSize | 16850 |
| MD5 | 3BC99206BF1AB8287B8339DF60D13FA6 |
| RDS:package_id | 304063 |
| SHA-1 | AE50ED40EF06FE5DD9A41A27A158059BE5D2F06B |
| SHA-256 | 4BF1F56215E8EDB955A3B8080AE5760648EB80D34EAFA1F7AF3A073AB8821418 |
| SSDEEP | 192:QsPf9NsKRGoKqteiPlhcoepQN1tDfATlJ3sqczzFQqPvpqaC8YOwqZ2CeqIajBJE:QstRG9ri9yaKvctzzFQqXpqaPTZPI6JE |
| TLSH | T1C872D0CAF99C117150A4BCE1831D611AA1E22FCACC43D09FEC1683AD79565FBFDA8548 |
| insert-timestamp | 1751766817.7245884 |
| source | RDS_2025.03.1_android.db |
| 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 | 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 | changelog.Debian.amd64.gz |
| FileSize | 222 |
| MD5 | 145362B5B1C03BC2758918203244730B |
| RDS:package_id | 294776 |
| SHA-1 | B2101372BB0832E8908AD0D80B643C0CF61893B7 |
| SHA-256 | 5753D223E07DC7A982BA7088E7712B30F40C1B188CB1F1332DCCB49F24EE654F |
| SSDEEP | 6:Xt0SN5wY+a4NuofzXqro+/KtS+9v897kKu3IyDQ6azf:XX4J95bU+O9gKu3pQ1f |
| TLSH | T1ADD0237D90334CB6603E42F603EB0818601D0C30402040C22F0303C310C730833C3754 |
| insert-timestamp | 1696442263.2192564 |
| source | db.sqlite |