Query result

Key	Value
FileName	./usr/lib/ocaml/coq/theories/micromega/.coq-native/NCoq_micromega_RingMicromega.cmxs
FileSize	394244
MD5	587A891BF5F6AB7BC591DC4481B31837
SHA-1	002188F43559C2957C321E156F7ED7C95028765A
SHA-256	4BF3C2CBE6CCD9C8C4CB2229CA546D41BF7D21185D0E4EF84A577761D079A054
SSDEEP	6144:j6UklBlwYRUDFxTxwyJ3sJV8mMER23ePwmim:j6UWrwkaxTP3sJV8m43+wmj
TLSH	T10284A4CC969E8C41C28268BDE02F0A365D10E1C5E7975EC1B4CEABB9EFA11C847573D6
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	3F160299671D4BF22DAA1F81E6324726
PackageArch	armv7hl
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	3.mga9
PackageVersion	8.13.2
SHA-1	09B8ED98E28322BFB3CA45AB73FADDCE8AF63167
SHA-256	4D7EA57384E7585CBCE49AB1131DCD4464E7125D0E643FAEFEE312C690FBFC76