Result for 00249D27A49C2F408698FB1EE85324227273FB30

Query result

Key Value
FileName./usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_NaryFunctions.cmi
FileSize15713
MD50B2BD4700FFCA38928E2DE8B3EB2244B
SHA-100249D27A49C2F408698FB1EE85324227273FB30
SHA-256706AD197178AEBCC441D38C254658168281664D56A1413CAAB76C5AF55FE1D96
SSDEEP384:mV3NFkGoMMCgwV7YAYkFYKKZPfZIawxlOwkYpE/rLToV6VCSv9heKv+7e+WQ:mV3NaGxMCg87YhXKNZda/rLlJ1heKv+1
TLSHT14462E8DD7A6F932DFC5616BE92A8127B43008BFED2E68C7BD46443F01A4241D179E283
hashlookup:parent-total1
hashlookup:trust55

Network graph view

Parents (Total: 1)

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
MD5993C3EF3BF13D302515A20E0DE175379
PackageArchi586
PackageDescriptionThis package contains development files for Coq.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-devel
PackageRelease1.6
PackageVersion8.14.1
SHA-1BFF6A6A12BC074B513F65D49B2900AC303916D9C
SHA-2562AF26F84A2FEF9FE4AF54F105E8EC7DD0FC92AB7E2F84235A3A5CAE2CB0CA9AB