Key | Value |
---|---|
FileName | ./usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_NaryFunctions.cmi |
FileSize | 15713 |
MD5 | 0B2BD4700FFCA38928E2DE8B3EB2244B |
SHA-1 | 00249D27A49C2F408698FB1EE85324227273FB30 |
SHA-256 | 706AD197178AEBCC441D38C254658168281664D56A1413CAAB76C5AF55FE1D96 |
SSDEEP | 384:mV3NFkGoMMCgwV7YAYkFYKKZPfZIawxlOwkYpE/rLToV6VCSv9heKv+7e+WQ:mV3NaGxMCg87YhXKNZda/rLlJ1heKv+1 |
TLSH | T14462E8DD7A6F932DFC5616BE92A8127B43008BFED2E68C7BD46443F01A4241D179E283 |
hashlookup:parent-total | 1 |
hashlookup:trust | 55 |
The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
MD5 | 993C3EF3BF13D302515A20E0DE175379 |
PackageArch | i586 |
PackageDescription | This package contains development files for Coq. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-devel |
PackageRelease | 1.6 |
PackageVersion | 8.14.1 |
SHA-1 | BFF6A6A12BC074B513F65D49B2900AC303916D9C |
SHA-256 | 2AF26F84A2FEF9FE4AF54F105E8EC7DD0FC92AB7E2F84235A3A5CAE2CB0CA9AB |