| Key | Value |
|---|---|
| FileName | usr/lib/ocaml/coq/theories/MSets/MSetPositive.v |
| FileSize | 34912 |
| MD5 | DC079FE3E29B0DB91B563237C228F2E8 |
| SHA-1 | 004852320EE92C44685C51BDD65014E6FB5D15A3 |
| SHA-256 | 9ACD9B779B2A06D75363197EF0E1994C36C69962DB1C458D44C0AB3FFD244757 |
| SHA-512 | 60E4F308E1CA1FE033ADD053C37B79C23F00BE9F7E510C2DE2DA3C8806F585BBC1EC8CE5990E2E398074A40339325C1D1A9AE6C34D8F7D798F40F5E386C75E1C |
| SSDEEP | 768:DNOUpg3Tz7h63RBs0ShjtznEDbkmRcA6U855uAwxf19kkaFER/bA5aAbH9O9jJFt:5Ajz7h6hBs0ShjdnEPkmRcA6U855uAwn |
| TLSH | T1F6F2740F34DA0A226BA9DDBAFFD171C3E936C58761B2129074CC907C0F1E675AA61DD8 |
| insert-timestamp | 1727037319.7115743 |
| mimetype | text/plain |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
| tar:gname | root |
| tar:uname | root |
| hashlookup:parent-total | 5 |
| hashlookup:trust | 75 |
The searched file hash is included in 5 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| MD5 | DA39DE9AF59970953DD3F3605060C90B |
| PackageArch | s390x |
| PackageDescription | This package contains development files for Coq. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | coq-devel |
| PackageRelease | bp156.1.14 |
| PackageVersion | 8.19.1 |
| SHA-1 | 6F0FB63514414159E78DB9035E9ACBCD644BD673 |
| SHA-256 | 619EB041B63C084AAD143D12D2C7AF23F6D591EA144FEB9B6D6AECC0FE9BC2FC |
| Key | Value |
|---|---|
| FileName | http://dl-cdn.alpinelinux.org/alpine/latest-stable//community//x86_64//coq-8.19.1-r3.apk |
| MD5 | 0C97B0CD7DDDE140EE3CF52115926B78 |
| SHA-1 | D08C9AF83D87F0140465F271B5A49632ECF50D55 |
| SHA-256 | 90492AFC057AB5DC5D080BFC6E9EA17A11BCF60DEA41D62C22C893A26AF94A35 |
| SSDEEP | 6291456:3ucqf5eA96TkTLp8/L8mS8toMc8kXAJO7xd1Tie73:3pqxei6TkW/L8mSlH9+e73 |
| TLSH | T15CB833D2B017D67E3509F46FAA6DDDFA123D3DC420F71042D935A2E5480AA5C3BA2D2B |
| Key | Value |
|---|---|
| SHA-1 | FA862AB6A960556E431702F09BC2C3D262D41D36 |
| snap-authority | canonical |
| snap-filename | o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34.snap |
| snap-id | o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
| snap-name | coq-prover |
| snap-publisher-id | oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ |
| snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
| snap-timestamp | 2021-02-26T01:53:46.711754Z |
| source-url | https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34.snap |
| Key | Value |
|---|---|
| SHA-1 | 3CD816764D8EC7B86844A32300164DC73F73C1AD |
| snap-authority | canonical |
| snap-filename | o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33.snap |
| snap-id | o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33 |
| snap-name | coq-prover |
| snap-publisher-id | oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ |
| snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
| snap-timestamp | 2021-02-26T01:53:46.711754Z |
| source-url | https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33.snap |
| Key | Value |
|---|---|
| MD5 | 68F2FF20B639BD6DE6B6919793ED9E01 |
| PackageArch | x86_64 |
| PackageDescription | This package contains development files for Coq. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | coq-devel |
| PackageRelease | bp156.1.14 |
| PackageVersion | 8.19.1 |
| SHA-1 | B4A18D3F802962279607014AD0090C5768D183C2 |
| SHA-256 | 41183CEEFF2701E8E8F5621B4D6AEBDC9E4C71E3A94393CFD2DF29EF7CD2E6E1 |