Query result

Key	Value
FileName	./usr/lib/ocaml/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatNum.o
FileSize	1900
MD5	18B7E6A265E2211E811EA2DD183245FE
SHA-1	00B00B27B7771C122787084D81A454F76ED7E073
SHA-256	27A2AAC5BEB46D0DB0BB128919BBBDF0077978A4CF2E603AD65B4C022832A476
SSDEEP	24:gRX9NPtVIyCQCzaErvpi14a/Pdmxfyh9Dy9Su94CvlL1E2:U9GxVaYK1OoulxE
TLSH	T164418B492BCDEC2AC95BD0F841EE36411BA6FD4450C5E3A39E08515D8F622F46F32D63
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