Result for 00B4D5848B227838769C7031CDBBA3BF064A9A43

Query result

Key Value
FileName./usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FSetProperties.cmi
FileSize2028
MD5D3F2CFFA4D459BE5958E1DB1A04CFE79
SHA-100B4D5848B227838769C7031CDBBA3BF064A9A43
SHA-25625DE528DC17022D131BAF8091FB27C38A603207D67182F105DCC0B17F448932A
SSDEEP48:KvRAfujPE1zQnjbkytzO2tTfBVVMH2pO9FiuW2W:KvqfujMWjbkmzttTLToFiutW
TLSHT1A841F8BAB7C0795A1E53D4F253CC167E215818FA0B37C9AE83208348A15ADE51B5E12F
hashlookup:parent-total4
hashlookup:trust70

Network graph view

Parents (Total: 4)

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

Key Value
MD572C30ED34F11996ED729EA7DFA41D3BF
PackageArchx86_64
PackageDescriptionThis package contains development files for Coq.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-devel
PackageReleasebp154.1.44
PackageVersion8.13.2
SHA-18AC184006D2900B9E6085F3CD3E0928223BA54D5
SHA-2566B9E9C8D91A82BB109576C17567594A0C53114475F7FF4E732D2E2F99645D05A
Key Value
MD522C4988E0D3949DD1C5427D2BB0B54F1
PackageArchs390x
PackageDescriptionThis package contains development files for Coq.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-devel
PackageReleasebp155.2.13
PackageVersion8.13.2
SHA-1507531224D2507517133A90C377FD7BEF9E81F49
SHA-256B9476819D50555025BF426B8D9F1607C1CEE994B484B7800BA39B09A2F852E8C
Key Value
MD5F2DC9BE3B76B405FA5E807A258A3B566
PackageArchx86_64
PackageDescriptionThis package contains development files for Coq.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-devel
PackageReleasebp155.2.13
PackageVersion8.13.2
SHA-1E3195C599D30A26038C530A0DC904486E9A4A75B
SHA-2562623B8547476CF37B5EC058CE14FF3AD3E7EEF7FB22BEE5CA2355B0C6C9D6696
Key Value
MD56F0687C2EF3622C4D20F29C89F49B0EA
PackageArchs390x
PackageDescriptionThis package contains development files for Coq.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-devel
PackageReleasebp154.1.44
PackageVersion8.13.2
SHA-108F1AF401E533A9164B6486D929A5BDCF7F49CA7
SHA-256E061FCA5EBBE93EFC2DC9F0D07B512E90E80141E6FFC3F3E366AC61D749C3B0A