| Key | Value |
|---|---|
| FileSize | 7737496 |
| MD5 | BB43FBDA31858377AF1A22170672B748 |
| 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 | 11E6036C1D38D9B5F2EB613506F981741EDCE215 |
| SHA-256 | 02677DC835B05DF5324882698F823921EA69E85E0942C2C7E6232AE561220A99 |
| 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 | 25373648 |
| MD5 | 787F310FB6C157B015A959E248A23E10 |
| RDS:package_id | 293675 |
| SHA-1 | CEAF937AFED6426BA16575179EF8A9759036DC77 |
| SHA-256 | 5BC2D822792EC630444EE590997BB9AB585959AE901E2555317BA1469D983E87 |
| SSDEEP | 786432:In3H9i2zFdDaaMOOnQ5yit6lafPQj/010uPbgb+pbISP4SzQIGzfD0wPplxufu3D:4H9i2zFdDadOOnQ5yit6lagwkb+pbISg |
| TLSH | T18C475B59E752E4B2F05381F0134BABF314606A36905790F2FB49AFA5B4B22E16F09737 |
| insert-timestamp | 1678953871.3593287 |
| source | RDS.db |