| Key | Value |
|---|---|
| FileName | libz3-4_4.8.10-1_amd64.deb |
| FileSize | 6949460 |
| MD5 | 3FAAA8CBAE50175E062EF4FA010FB093 |
| 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 |
| RDS:package_id | 263919 |
| SHA-1 | 302AFA0C1F5B11D6528EC765C7338A208F004829 |
| SHA-256 | 7A38C2DD985EB9315857588EE06FF297E2B16DE159DEC85BD2777A43EBE9F458 |
| insert-timestamp | 1654969058.7964523 |
| source | modern.db |
| 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 | libz3.so.4 |
| FileSize | 22910144 |
| MD5 | 0936A513D7F29B8DF6952D84AE5573F3 |
| RDS:package_id | 298503 |
| SHA-1 | 0A591749E44A14713732D40A445ABD7E433D396D |
| SHA-256 | 4E6AC2C899C4FD9DF0420813CEE95D855C89399C6E381A17C9E88F87F973D0AB |
| SSDEEP | 196608:/sRlF2wfvz9F2BtJfh3e4kVKMDYP4qSbtPI/hS9+fyrJZvbS47uX/srsiN+fj5:/WlF2Qs04kVdDZoPyFZ2YhEfj5 |
| TLSH | T1D9373A0AF6A218EDC1E6C874076BE9A3B93078A441353EBB7294CF711F56E30576CB52 |
| insert-timestamp | 1696440189.654287 |
| source | db.sqlite |