| Key | Value |
|---|---|
| FileSize | 5183404 |
| MD5 | 826E9D260843A552F288FF10B3BC0E0B |
| 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 | FEF675E13699C23B3C0810FAA4A01936A17C3F05 |
| SHA-256 | 325C90C6ADB26B977149B95ED144EFD0AD2D6F60A6BDA54F76A8A03C7593C4D0 |
| 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/lib/x86_64-linux-gnu/libz3.so.4 |
| FileSize | 16843912 |
| MD5 | 195CAA9BD8982435F11052E09865B111 |
| SHA-1 | D0582A704A0DC05B767F0ABECFE5D7E5D471440C |
| SHA-256 | E9B09898A7C73EE3A7E3D4009704945E64DC6CC7068F3C8BAF1C6903EE6106C0 |
| SHA-512 | 8A8EAF64215E87E25980FAF591073D58FFCF6180EC02975DEF108F2057418F0C282188766102EBAB44A1E301E9CD98B86F749EC86996FA6EC133D0BDA542D2C3 |
| SSDEEP | 196608:mWmm9fFny9uK8Nr7pvC6VfEwK3ffBfU1RjtWhcp:im9fJdN3pvC6VPK3sty |
| TLSH | T105073A07F7A214EDC1EAC470076BA5B3B53178A941363EBF72989F321E52E60572CB52 |
| insert-timestamp | 1672721818.4573717 |
| mimetype | application/x-sharedlib |
| source | snap:2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_134 |
| 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 |