Result for 003A244758E7B976BFDCF76B972FA5031053753E

Query result

Key Value
FileName./usr/lib64/coq-core/vernac/declareUniv.cmi
FileSize3630
MD59DF2C1C23BA547A5B6F0F958D39E2C4A
SHA-1003A244758E7B976BFDCF76B972FA5031053753E
SHA-256DE85C361A19508EA52965194FCE2C52A6E2EA39BBBB3A85A9C1FB606E27997F6
SSDEEP96:FJIjuQ+aSqB1XDQ3BFW8CNSNGciOLGaWJfwG8PDmlP:3IC4PXD0CN6Ni2GacfZ8qP
TLSHT1D071E798378464B2FC2292BBBC4C415B6336136A98A38DBC868503C90060A3EA3D950F
hashlookup:parent-total2
hashlookup:trust60

Network graph view

Parents (Total: 2)

The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
MD5DA39DE9AF59970953DD3F3605060C90B
PackageArchs390x
PackageDescriptionThis package contains development files for Coq.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-devel
PackageReleasebp156.1.14
PackageVersion8.19.1
SHA-16F0FB63514414159E78DB9035E9ACBCD644BD673
SHA-256619EB041B63C084AAD143D12D2C7AF23F6D591EA144FEB9B6D6AECC0FE9BC2FC
Key Value
MD568F2FF20B639BD6DE6B6919793ED9E01
PackageArchx86_64
PackageDescriptionThis package contains development files for Coq.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-devel
PackageReleasebp156.1.14
PackageVersion8.19.1
SHA-1B4A18D3F802962279607014AD0090C5768D183C2
SHA-25641183CEEFF2701E8E8F5621B4D6AEBDC9E4C71E3A94393CFD2DF29EF7CD2E6E1