| Key | Value |
|---|---|
| FileSize | 4327572 |
| MD5 | CBD5DEBF63F4FDD6D0314134614C2AE2 |
| 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.4.1-1~deb10u1 |
| SHA-1 | 630C35112D0103DFC17B5717A64B47C457DE8B6C |
| SHA-256 | 2AD0C8F6CD7C025C3743DBD8F573A78DDED22EBBCC0081D0E4B50B9B750FEE25 |
| 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 | ./usr/lib/arm-linux-gnueabihf/libz3.so.4 |
| FileSize | 9681560 |
| MD5 | 064DD5C3AD218FEFF4E6BF8E81EC3BD4 |
| SHA-1 | F570B4D802AAA2C4DA51AF7AAE042249306868CC |
| SHA-256 | 4942C04C6145AEAA8FC4F11B5E5276AFD7CC61CABA7904605A8D13C35464909C |
| SSDEEP | 98304:YupXSjroMQfGiogwencvf1Il7JdRpB4M8M6bpjzUfK2x0OPQR0Ca8cHok:lpiHoMQzpn6YJ/34ZMyp72PQRI8cI |
| TLSH | T120A6F179DEC82D90CDBA617FF3E38ED6284154CEB3A08509264A5D2B36C4D5BE19237C |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/z3/changelog.gz |
| FileSize | 12885 |
| MD5 | 7207B587AC23374AF406F503D0515DD0 |
| SHA-1 | 7B086BE24964914D4FAD12DA20D6CFD75FAA610F |
| SHA-256 | F62AAA20AB18A71C46BD5C9F3288D90500EB6557285722F500832BF06261DCE8 |
| SSDEEP | 384:3TC3XCK1FgES6hUSicuCrFRX+nuz6ShT3cWoj9wV8m:MVWFCr0uz6Sl3tojyGm |
| TLSH | T13C42D1A04DFAE32A91D1743F65F1A90D6B34CA107B6DB3405413B7802D3975D5FB9E01 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/z3/changelog.Debian.gz |
| FileSize | 2161 |
| MD5 | F112DDA41358EE9E12A72D0E95F6F946 |
| SHA-1 | DA7061B3E63E0EF3ED921F8D69A8A8D23969C0C4 |
| SHA-256 | 821EB131DE00A531F2E0AE6A97C5ECB44FC6CD538640614859694AABA44CAAD3 |
| SSDEEP | 48:X2iEXzvsTh0jCR28YCV8S9l2A5JUIW1gFf6ctQz:/EjWwqYO8SFWut6yi |
| TLSH | T1F2411CC56B0A27C0DC7059D2E71DE7C1890A285BE92E0374636C621A47CCD66EFCF5B0 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/z3/copyright |
| FileSize | 2131 |
| MD5 | 41AEBF244D143B2188FFBD8CF7BC4D56 |
| SHA-1 | 2B8CAB82326404ECB6E447C4B7EC365A138C9397 |
| SHA-256 | 82E82701581D0B61FE9003DD4F7FAD5C697703DE321C3D566C7C8ECFBED1B58F |
| SHA-512 | 55B8D3D78E2384CF321232AF9DECDBB8471F13A0454930D8ACF2E1B346B652E0605616E78B0D01FBF6641C6A3A1FCFAD97057EA326FE0F695B5DF866EE50FABB |
| SSDEEP | 48:iUD/yJLl/El5wH0s5ANU3oWFi7pwGoyvHq+nxi8:iUDMcbwHFoV7pVrRQ8 |
| TLSH | T18941B50E7250877B198023E03D5A64DEF33B7297B57D5184640EE34E9B2647953F7894 |
| insert-timestamp | 1672721792.3705158 |
| mimetype | text/plain |
| source | snap:2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_134 |