Result for 009D349F483D353443DB1CD8E3DBE3B63DD50298

Query result

Key Value
FileName./usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_NewtonInt.cmi
FileSize6636
MD56B491D95123E5AB6EB9ACF2B03EB4737
SHA-1009D349F483D353443DB1CD8E3DBE3B63DD50298
SHA-2566E628D64080F8C5E0C1DEA1C5A0F06B22DAC08F9C6AD6713AA90206DCDF0AAA1
SSDEEP192:suLJLgNVBe7kEYFmjxGxgJZaA/rd+bZGNuL0xyl08WuvL0UzKfm49GbetFTLTdyW:suLJLgNVBe7kDFmjxGxgJZaA/rd+bZGN
TLSHT1DDD153DD6A19D08C1E1784F455AA7086808813FC5BBB9CEBF3CD46E8C81B92D835965F
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