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 |
hashlookup:parent-total | 8 |
hashlookup:trust | 90 |
The searched file hash is included in 8 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
SHA-1 | A1570B20AB2F7B010938419C6AD1A529B472C272 |
snap-authority | canonical |
snap-filename | 2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_60.snap |
snap-id | 2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_60 |
snap-name | imprimis-game |
snap-publisher-id | K7kicpmP9jRVgz9rkXviNV2cAS2rTbyZ |
snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
snap-timestamp | 2021-01-09T06:59:59.526204Z |
source-url | https://api.snapcraft.io/api/v1/snaps/download/2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_60.snap |
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 |
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 |
Key | Value |
---|---|
SHA-1 | F58C9BD6FE1EFF80BB3AD9F4F5D4F705BFF6496E |
snap-authority | canonical |
snap-filename | 2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_22.snap |
snap-id | 2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_22 |
snap-name | imprimis-game |
snap-publisher-id | K7kicpmP9jRVgz9rkXviNV2cAS2rTbyZ |
snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
snap-timestamp | 2021-01-09T06:59:59.526204Z |
source-url | https://api.snapcraft.io/api/v1/snaps/download/2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_22.snap |
Key | Value |
---|---|
SHA-1 | 110A8F0EE38894EF146A286C970825D6C3B68326 |
snap-authority | canonical |
snap-filename | 2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_89.snap |
snap-id | 2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_89 |
snap-name | imprimis-game |
snap-publisher-id | K7kicpmP9jRVgz9rkXviNV2cAS2rTbyZ |
snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
snap-timestamp | 2021-01-09T06:59:59.526204Z |
source-url | https://api.snapcraft.io/api/v1/snaps/download/2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_89.snap |
Key | Value |
---|---|
SHA-1 | 72EB97C5DC74D6F0D2F0508692605A6D3AF72C10 |
snap-authority | canonical |
snap-filename | 2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_73.snap |
snap-id | 2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_73 |
snap-name | imprimis-game |
snap-publisher-id | K7kicpmP9jRVgz9rkXviNV2cAS2rTbyZ |
snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
snap-timestamp | 2021-01-09T06:59:59.526204Z |
source-url | https://api.snapcraft.io/api/v1/snaps/download/2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_73.snap |
Key | Value |
---|---|
SHA-1 | F2E3C2879A174AAE45674050A3232D60F0DA9866 |
snap-authority | canonical |
snap-filename | 2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_134.snap |
snap-id | 2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_134 |
snap-name | imprimis-game |
snap-publisher-id | K7kicpmP9jRVgz9rkXviNV2cAS2rTbyZ |
snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
snap-timestamp | 2021-01-09T06:59:59.526204Z |
source-url | https://api.snapcraft.io/api/v1/snaps/download/2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_134.snap |
Key | Value |
---|---|
SHA-1 | 1ED8AAF0A64FC81E0B1844654F35743EF6E98E40 |
snap-authority | canonical |
snap-filename | 2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_6.snap |
snap-id | 2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_6 |
snap-name | imprimis-game |
snap-publisher-id | K7kicpmP9jRVgz9rkXviNV2cAS2rTbyZ |
snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
snap-timestamp | 2021-01-09T06:59:59.526204Z |
source-url | https://api.snapcraft.io/api/v1/snaps/download/2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_6.snap |