| Key | Value |
|---|---|
| FileName | ./usr/include/z3_version.h |
| FileSize | 210 |
| MD5 | FA81B3EF5FBB5880FD7E57653A03A20D |
| SHA-1 | E7E0F77969CA2269869A26D8633087CA9D5C66A5 |
| SHA-256 | 6F4A4DFD0ED2FE20852DE0A14D3C6E10A7016262154A0C33201823C9808D819C |
| SHA-512 | 7AE02A5B135AA3B0F59AFC1143EFF12326CFFCBED0FB6C924C81E686DD0B5E2E086239C6C077C790C1FC3285B9A57470D8AF0EC0DC5687960E02EE7D4D27D526 |
| SSDEEP | 6:jUsimSOiGgcfF/84LfF/0GNanWA38VGGDlfF/cRAiJ:jFimrLNZNkoL5NxiJ |
| TLSH | T1BDD0C9123D855292E83803D586D9E4165CA0ED378204D8ECF057BD8DABD5C1807FC3EE |
| insert-timestamp | 1727024310.4276607 |
| mimetype | text/plain |
| source | snap:i5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_18 |
| hashlookup:parent-total | 11 |
| hashlookup:trust | 100 |
The searched file hash is included in 11 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| SHA-1 | FC168821E170F5751C7B3E439B8C87A571A25259 |
| snap-authority | canonical |
| snap-filename | i5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_18.snap |
| snap-id | i5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_18 |
| snap-name | laurux |
| snap-publisher-id | z3Xuto3vTtSu6brZey4y8lRXmaIjvFc0 |
| snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
| snap-timestamp | 2020-12-03T21:08:14.586864Z |
| source-url | https://api.snapcraft.io/api/v1/snaps/download/i5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_18.snap |
| Key | Value |
|---|---|
| SHA-1 | 0627EE466790C79C954266526701E97AD88375CA |
| snap-authority | canonical |
| snap-filename | pYjbVUhvR6nqlpQfSGY4WrEoxkIbYkHp_15.snap |
| snap-id | pYjbVUhvR6nqlpQfSGY4WrEoxkIbYkHp_15 |
| snap-name | dotnet-runtime-80 |
| snap-publisher-id | NkziOx5Ju2cGzp2Ei3picHMIev25uDU6 |
| snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
| snap-timestamp | 2023-02-17T22:21:41.788494Z |
| source-url | https://api.snapcraft.io/api/v1/snaps/download/pYjbVUhvR6nqlpQfSGY4WrEoxkIbYkHp_15.snap |
| Key | Value |
|---|---|
| SHA-1 | 6B27A10F5220555381988AA5BA1D96FD227268C8 |
| snap-authority | canonical |
| snap-filename | vF7qHQJ3SMpORQX952464X4FQhbnh6gu_19.snap |
| snap-id | vF7qHQJ3SMpORQX952464X4FQhbnh6gu_19 |
| snap-name | kdevelop |
| snap-publisher-id | 2rsYZu6kqYVFsSejExu4YENdXQEO40Xb |
| snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
| snap-timestamp | 2017-09-28T15:45:23.922639Z |
| source-url | https://api.snapcraft.io/api/v1/snaps/download/vF7qHQJ3SMpORQX952464X4FQhbnh6gu_19.snap |
| Key | Value |
|---|---|
| SHA-1 | 74ECA5D0D5874E43651CC2F8FE0E1E67D8DBEC5A |
| snap-authority | canonical |
| snap-filename | i5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_14.snap |
| snap-id | i5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_14 |
| snap-name | laurux |
| snap-publisher-id | z3Xuto3vTtSu6brZey4y8lRXmaIjvFc0 |
| snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
| snap-timestamp | 2020-12-03T21:08:14.586864Z |
| source-url | https://api.snapcraft.io/api/v1/snaps/download/i5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_14.snap |
| Key | Value |
|---|---|
| SHA-1 | 323BB03E5F1D6589096C7175EFE984F2B1DC914E |
| snap-authority | canonical |
| snap-filename | i5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_17.snap |
| snap-id | i5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_17 |
| snap-name | laurux |
| snap-publisher-id | z3Xuto3vTtSu6brZey4y8lRXmaIjvFc0 |
| snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
| snap-timestamp | 2020-12-03T21:08:14.586864Z |
| source-url | https://api.snapcraft.io/api/v1/snaps/download/i5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_17.snap |
| Key | Value |
|---|---|
| SHA-1 | A7E591CB618E5D901F8C14B6DD96E910D8B03239 |
| snap-authority | canonical |
| snap-filename | znWiFzGUllY53A2ET39CsMd7aV3jAeFR_72.snap |
| snap-id | znWiFzGUllY53A2ET39CsMd7aV3jAeFR_72 |
| snap-name | volsung |
| snap-publisher-id | IKxGxdqNisYMtPSsrQjQdblj9DXD8bIa |
| snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
| snap-timestamp | 2020-12-16T01:42:53.979532Z |
| source-url | https://api.snapcraft.io/api/v1/snaps/download/znWiFzGUllY53A2ET39CsMd7aV3jAeFR_72.snap |
| Key | Value |
|---|---|
| SHA-1 | 068CC09F954EA5020DB9D170103854EED9E7355B |
| snap-authority | canonical |
| snap-filename | 69mzOfPMHMlgZ5UkaDRavhq3s1HpKHnp_45.snap |
| snap-id | 69mzOfPMHMlgZ5UkaDRavhq3s1HpKHnp_45 |
| snap-name | dotnet-runtime-60 |
| snap-publisher-id | NkziOx5Ju2cGzp2Ei3picHMIev25uDU6 |
| snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
| snap-timestamp | 2021-02-12T05:32:18.396590Z |
| source-url | https://api.snapcraft.io/api/v1/snaps/download/69mzOfPMHMlgZ5UkaDRavhq3s1HpKHnp_45.snap |
| Key | Value |
|---|---|
| SHA-1 | 5BD2476D07A56672E99788030BCB6FB01F63DB4A |
| snap-authority | canonical |
| snap-filename | znWiFzGUllY53A2ET39CsMd7aV3jAeFR_104.snap |
| snap-id | znWiFzGUllY53A2ET39CsMd7aV3jAeFR_104 |
| snap-name | volsung |
| snap-publisher-id | IKxGxdqNisYMtPSsrQjQdblj9DXD8bIa |
| snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
| snap-timestamp | 2023-10-23T18:24:27.596125Z |
| source-url | https://api.snapcraft.io/api/v1/snaps/download/znWiFzGUllY53A2ET39CsMd7aV3jAeFR_104.snap |
| Key | Value |
|---|---|
| FileSize | 67512 |
| MD5 | DC371184182241F8FD9ACF4E645A3468 |
| PackageDescription | theorem prover from Microsoft Research - development files 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 can be used to invoke Z3 via its C++ API. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libz3-dev |
| PackageSection | libdevel |
| PackageVersion | 4.8.7-4build1 |
| SHA-1 | 96BD4AF1EF2C3029BBC5F2631AF7D9EF03F26847 |
| SHA-256 | CB6CC021D64570CCD1F7741B24ADB327A765CE97E0E4E07F592921EE4C14E8F4 |
| Key | Value |
|---|---|
| SHA-1 | 0359039CF17F62C8D7B1095C16EA08584940FB4E |
| snap-authority | canonical |
| snap-filename | t2lB6va3EDQHQDV1Uq9kY084GSymT9kb_29.snap |
| snap-id | t2lB6va3EDQHQDV1Uq9kY084GSymT9kb_29 |
| snap-name | dotnet-runtime-70 |
| snap-publisher-id | NkziOx5Ju2cGzp2Ei3picHMIev25uDU6 |
| snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
| snap-timestamp | 2022-02-15T01:02:46.378965Z |
| source-url | https://api.snapcraft.io/api/v1/snaps/download/t2lB6va3EDQHQDV1Uq9kY084GSymT9kb_29.snap |
| Key | Value |
|---|---|
| FileSize | 67508 |
| MD5 | 96BD51619A261E4416303661A65ABCAA |
| PackageDescription | theorem prover from Microsoft Research - development files 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 can be used to invoke Z3 via its C++ API. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libz3-dev |
| PackageSection | libdevel |
| PackageVersion | 4.8.7-4build1 |
| SHA-1 | 714207D26445E174E6391FED7EE6976D3226973D |
| SHA-256 | AE9CE9022D1D876D0C300856013380467355EA3B5B7C46FC35E7C9EB957BFEFA |