Query result

Key	Value
FileName	./usr/lib/coq/plugins/setoid_ring/.coq-native/NCoq_setoid_ring_Integral_domain.cmxs
FileSize	40368
MD5	1FFB1A4BB182140DA6860563676354A0
SHA-1	002D185CF7B9C5DD3D6DE94274E1348B6E4BAF08
SHA-256	B3E1F6B87A52596D96EF5F3536D953B0A0DCC819FBC2FB995108A511B1A12FB4
SSDEEP	768:CmTlOWAoWmtWFXiyrWDcJhR0NPYUSll0xtu/959:CmLht+yCUNu
TLSH	T17403B2933F9F44F9C4A65DB98CEF53B79630E2290A539001E6081F4DAFF93C44E1899A
hashlookup:parent-total	1
hashlookup:trust	55

Network graph view

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	41416B41BBA10CFAD20B3A84C69C37CB
PackageArch	i586
PackageDescription	Coq is a proof assistant which: - allows to handle calculus assertions, - check mechanically proofs of these assertions, - helps to find formal proofs, - extracts a certified program from the constructive proof of its formal specification.
PackageMaintainer	pterjan <pterjan>
PackageName	coq
PackageRelease	4.mga8
PackageVersion	8.11.0
SHA-1	CFB2E9B5C687CE3DC94B208B90F442C4F3F146FD
SHA-256	F6C99A602FC093CDAD855C56CB41F775B4169763D02B7AA31322FB21CB956247