Result for E7E0F77969CA2269869A26D8633087CA9D5C66A5

Query result

Key Value
FileName./usr/include/z3_version.h
FileSize210
MD5FA81B3EF5FBB5880FD7E57653A03A20D
SHA-1E7E0F77969CA2269869A26D8633087CA9D5C66A5
SHA-2566F4A4DFD0ED2FE20852DE0A14D3C6E10A7016262154A0C33201823C9808D819C
SHA-5127AE02A5B135AA3B0F59AFC1143EFF12326CFFCBED0FB6C924C81E686DD0B5E2E086239C6C077C790C1FC3285B9A57470D8AF0EC0DC5687960E02EE7D4D27D526
SSDEEP6:jUsimSOiGgcfF/84LfF/0GNanWA38VGGDlfF/cRAiJ:jFimrLNZNkoL5NxiJ
TLSHT1BDD0C9123D855292E83803D586D9E4165CA0ED378204D8ECF057BD8DABD5C1807FC3EE
insert-timestamp1727024310.4276607
mimetypetext/plain
sourcesnap:i5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_18
hashlookup:parent-total11
hashlookup:trust100

Network graph view

Parents (Total: 11)

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-1FC168821E170F5751C7B3E439B8C87A571A25259
snap-authoritycanonical
snap-filenamei5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_18.snap
snap-idi5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_18
snap-namelaurux
snap-publisher-idz3Xuto3vTtSu6brZey4y8lRXmaIjvFc0
snap-signkeyBWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp2020-12-03T21:08:14.586864Z
source-urlhttps://api.snapcraft.io/api/v1/snaps/download/i5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_18.snap
Key Value
SHA-10627EE466790C79C954266526701E97AD88375CA
snap-authoritycanonical
snap-filenamepYjbVUhvR6nqlpQfSGY4WrEoxkIbYkHp_15.snap
snap-idpYjbVUhvR6nqlpQfSGY4WrEoxkIbYkHp_15
snap-namedotnet-runtime-80
snap-publisher-idNkziOx5Ju2cGzp2Ei3picHMIev25uDU6
snap-signkeyBWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp2023-02-17T22:21:41.788494Z
source-urlhttps://api.snapcraft.io/api/v1/snaps/download/pYjbVUhvR6nqlpQfSGY4WrEoxkIbYkHp_15.snap
Key Value
SHA-16B27A10F5220555381988AA5BA1D96FD227268C8
snap-authoritycanonical
snap-filenamevF7qHQJ3SMpORQX952464X4FQhbnh6gu_19.snap
snap-idvF7qHQJ3SMpORQX952464X4FQhbnh6gu_19
snap-namekdevelop
snap-publisher-id2rsYZu6kqYVFsSejExu4YENdXQEO40Xb
snap-signkeyBWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp2017-09-28T15:45:23.922639Z
source-urlhttps://api.snapcraft.io/api/v1/snaps/download/vF7qHQJ3SMpORQX952464X4FQhbnh6gu_19.snap
Key Value
SHA-174ECA5D0D5874E43651CC2F8FE0E1E67D8DBEC5A
snap-authoritycanonical
snap-filenamei5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_14.snap
snap-idi5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_14
snap-namelaurux
snap-publisher-idz3Xuto3vTtSu6brZey4y8lRXmaIjvFc0
snap-signkeyBWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp2020-12-03T21:08:14.586864Z
source-urlhttps://api.snapcraft.io/api/v1/snaps/download/i5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_14.snap
Key Value
SHA-1323BB03E5F1D6589096C7175EFE984F2B1DC914E
snap-authoritycanonical
snap-filenamei5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_17.snap
snap-idi5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_17
snap-namelaurux
snap-publisher-idz3Xuto3vTtSu6brZey4y8lRXmaIjvFc0
snap-signkeyBWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp2020-12-03T21:08:14.586864Z
source-urlhttps://api.snapcraft.io/api/v1/snaps/download/i5wvDoHLJH2eDrEqq9mqOBZyB26Gopqq_17.snap
Key Value
SHA-1A7E591CB618E5D901F8C14B6DD96E910D8B03239
snap-authoritycanonical
snap-filenameznWiFzGUllY53A2ET39CsMd7aV3jAeFR_72.snap
snap-idznWiFzGUllY53A2ET39CsMd7aV3jAeFR_72
snap-namevolsung
snap-publisher-idIKxGxdqNisYMtPSsrQjQdblj9DXD8bIa
snap-signkeyBWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp2020-12-16T01:42:53.979532Z
source-urlhttps://api.snapcraft.io/api/v1/snaps/download/znWiFzGUllY53A2ET39CsMd7aV3jAeFR_72.snap
Key Value
SHA-1068CC09F954EA5020DB9D170103854EED9E7355B
snap-authoritycanonical
snap-filename69mzOfPMHMlgZ5UkaDRavhq3s1HpKHnp_45.snap
snap-id69mzOfPMHMlgZ5UkaDRavhq3s1HpKHnp_45
snap-namedotnet-runtime-60
snap-publisher-idNkziOx5Ju2cGzp2Ei3picHMIev25uDU6
snap-signkeyBWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp2021-02-12T05:32:18.396590Z
source-urlhttps://api.snapcraft.io/api/v1/snaps/download/69mzOfPMHMlgZ5UkaDRavhq3s1HpKHnp_45.snap
Key Value
SHA-15BD2476D07A56672E99788030BCB6FB01F63DB4A
snap-authoritycanonical
snap-filenameznWiFzGUllY53A2ET39CsMd7aV3jAeFR_104.snap
snap-idznWiFzGUllY53A2ET39CsMd7aV3jAeFR_104
snap-namevolsung
snap-publisher-idIKxGxdqNisYMtPSsrQjQdblj9DXD8bIa
snap-signkeyBWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp2023-10-23T18:24:27.596125Z
source-urlhttps://api.snapcraft.io/api/v1/snaps/download/znWiFzGUllY53A2ET39CsMd7aV3jAeFR_104.snap
Key Value
FileSize67512
MD5DC371184182241F8FD9ACF4E645A3468
PackageDescriptiontheorem 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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibz3-dev
PackageSectionlibdevel
PackageVersion4.8.7-4build1
SHA-196BD4AF1EF2C3029BBC5F2631AF7D9EF03F26847
SHA-256CB6CC021D64570CCD1F7741B24ADB327A765CE97E0E4E07F592921EE4C14E8F4
Key Value
SHA-10359039CF17F62C8D7B1095C16EA08584940FB4E
snap-authoritycanonical
snap-filenamet2lB6va3EDQHQDV1Uq9kY084GSymT9kb_29.snap
snap-idt2lB6va3EDQHQDV1Uq9kY084GSymT9kb_29
snap-namedotnet-runtime-70
snap-publisher-idNkziOx5Ju2cGzp2Ei3picHMIev25uDU6
snap-signkeyBWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp2022-02-15T01:02:46.378965Z
source-urlhttps://api.snapcraft.io/api/v1/snaps/download/t2lB6va3EDQHQDV1Uq9kY084GSymT9kb_29.snap
Key Value
FileSize67508
MD596BD51619A261E4416303661A65ABCAA
PackageDescriptiontheorem 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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibz3-dev
PackageSectionlibdevel
PackageVersion4.8.7-4build1
SHA-1714207D26445E174E6391FED7EE6976D3226973D
SHA-256AE9CE9022D1D876D0C300856013380467355EA3B5B7C46FC35E7C9EB957BFEFA