| Key | Value |
|---|---|
| FileSize | 5678436 |
| MD5 | B8B4A84055471AAF5C2F7B7A0C66CA8B |
| 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.10-1 |
| SHA-1 | 51E23981EE1502C517BCAF7921DDA1BAEB19D6FF |
| SHA-256 | 49669B64EEB311091AB7F39423B64A09CCB7A0188B5E15D8674363634ACACC67 |
| hashlookup:children-total | 4 |
| hashlookup:trust | 50 |
The searched file hash includes 4 children files known and seen by metalookup. A sample is included below:
| 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 | 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/lib/arm-linux-gnueabi/libz3.so.4 |
| FileSize | 20437744 |
| MD5 | 9D95117B6BADBA8313DE0F343DBE7811 |
| SHA-1 | 60FDE0439E2ECF2E596553346EE169575D26814E |
| SHA-256 | 86EECEF12DE0B5BFF66451E754FC7091B31F26F5105CED2F16B247DE23FE32E9 |
| SSDEEP | 196608:jR6UsfRc0kUQE31LadFzjflpWjXT9mGfK68u9U4xlOp:QUsf+0LXadJ6UeZK4x6 |
| TLSH | T134270956F880DF7185D43B76F56E02AC73122B79D1EA7006CD2506243BEB89F0E3AB56 |