| Key | Value |
|---|---|
| FileSize | 5710876 |
| MD5 | 7ADA88288306F341D4267AF3A3DBA3FD |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libz3-4 |
| PackageSection | libs |
| PackageVersion | 4.4.1-0.3build4 |
| SHA-1 | 0FA3FC0076E877854DFB7F77105121C9722915F0 |
| SHA-256 | 10BC2097496D351A56F164C46BFEA76629FD3F44C35100ADAB8BA3343C6749F4 |
| hashlookup:children-total | 3 |
| hashlookup:trust | 50 |
The searched file hash includes 3 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libz3-4/changelog.Debian.gz |
| FileSize | 1833 |
| MD5 | A92DA1E788A3C69446F5A188ACAD9D22 |
| SHA-1 | 9640E47466849F7F102A67F9A10FDF880C33AD2E |
| SHA-256 | FFBD7A425EC066D4F1FCF52D4D30505AC027261ACFB310FBC64BCEDE29D5D681 |
| SHA-512 | AC5B93A4B01F3FC18F78C6A022549E73A6E6FB859243C3900F107727E4C8A7B3F730319D9B2473AA340B70BD43EEDF1F0AC2D5CD4F6510C224553ECA6C6744F2 |
| SSDEEP | 48:X9k4J7j4HMgJmnbMPuUWQpWB/pvGx5guQem7TDcFxUHHUEkQS:NkQOh4jUWQcTvGxk576xykQS |
| TLSH | T1693127D2EBE466D911308D32CD322E2E712F600A203A7F79808B0A0A653C94339984CF |
| insert-timestamp | 1672721792.3457212 |
| mimetype | application/gzip |
| source | snap:2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_134 |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/i386-linux-gnu/libz3.so.4 |
| FileSize | 18291628 |
| MD5 | 2532CAA781D6E4EDF7198388E6630C82 |
| SHA-1 | FDC6ECBE096C1F9DF8425D45861017FD6E664932 |
| SHA-256 | 1C56E43B17FF2045A36F8FCFE5A761D1C04475BB449473DF894747C771C08D72 |
| SSDEEP | 393216:e3QoXUL4VljAWK2MQwvNjZ6odSomqQPY5yEWTfiQG94Mebe0iC+MctJgXDk0h14b:e3Q3ooe+SomfPkyEWTfI94M0DipMctJT |
| TLSH | T13F074A569702E4B2F09341F11342BBF368502A36905790F7F655BFBAB4B15D2AF0A32B |