Result for 09B8ED98E28322BFB3CA45AB73FADDCE8AF63167

Query result

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
hashlookup:children-total	5732
hashlookup:trust	50

Network graph view

Children (Total: 5732)

The searched file hash includes 5732 children files known and seen by metalookup. A sample is included below:

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

Key	Value
FileName	./usr/lib/ocaml/coq/theories/Numbers/Cyclic/Int31/.coq-native/NCoq_Numbers_Cyclic_Int31_Int31.cmx
FileSize	20434
MD5	A3F50F41411A3C25B883A616B4F298BE
SHA-1	002B937F507CC8BF1AA29E8A11DE6315A1510D52
SHA-256	3E2BBEFBA997C0D1F3B80251C153B7BDBA7169D0F2EECA190B4607D54C6D3B9B
SSDEEP	384:Ctb/cTtd8IvrIZeU3sEJrjPwgYZ4Zb0Xg/I6u5c1ewwTlU0XVOW0wLSLO9x3cU14:0bkBdlrVU3sKjYZuGyPzwTlU0XVOW0rX
TLSH	T17C92879055A4E47617036CF1996C58924C5E8BE2DBE1586AF5099A0CBF8FF0CE2CF393

Key	Value
FileName	./usr/lib/ocaml/coq/theories/MSets/.coq-native/NCoq_MSets_MSetWeakList.o
FileSize	1780
MD5	CF69A462BB59DFECF46F57A533217366
SHA-1	005323326AB8BF092D11C07FDAF2042D6640D6F2
SHA-256	429A4C7A92BA466000333D4EBC286713A28C85816545C6FC8788A3C6F042194C
SSDEEP	24:3X9NfCHVIyC2FIxJkr8l/1Yanxm1fS59Dy9au/lK:n9BxvkAtxOgutK
TLSH	T17B31F21A63EC5D2ACA5771B850AB3B129352F3E176F087027054F20CDE4E1F95D12A5E

Key	Value
FileName	./usr/lib64/ocaml/coq/tactics/hipattern.cmi
FileSize	10138
MD5	23DD4926E89178218D9E66AAA54E43CA
SHA-1	00601AB8D4BD7F60B90B43FBFFE84CEA76C6BFD3
SHA-256	0B11BDC5DED0B51BE8719B535F156014327727D4EE6E2FDC5E17B55FCA1B86B0
SSDEEP	192:CdaKG9K3g4TE2ORA/iHxjMInqKmA09t4kgED0Cv/gENgk:UaKG9/VA6NMmmAO4c/gEqk
TLSH	T1412241AE37A3A90DEDC555DC47BE06A723111F7EE1E99CB7D08903D061A902C27BE147

Key	Value
FileName	usr/lib/ocaml/coq/theories/Logic/Classical.glob
FileSize	154
MD5	9DA2A7777B2B11FF7D1428A90880F666
SHA-1	00884F2F040235006CA1A9A5BFE9A60C81A1C174
SHA-256	F96E319C26FC91B9A59F7BFD857DA9395F0D86C6CAD3D771F61A7D0851E34834
SSDEEP	3:JnDTdhnXNUKXXdJfGSJEWWkhSaXfGSJEWWkMenFZknDUpGSJEWWkM6mbgP:FTLn9UWdJfGSJVvGSJUeFanDGGSJU6mA
TLSH	T1DEC04C26890525F43A9319715D8113F06371718DAE55DA51A46E990E06C489CB924BAE
tar:gname	root
tar:uname	root

Key	Value
FileName	./usr/lib/ocaml/coq/theories/ZArith/.coq-native/NCoq_ZArith_Znat.cmxs
FileSize	44228
MD5	6AB6C52A02E6426E6F4C561CAA594014
SHA-1	008B093829416F1AFCF16E81F8D735771B5F9A6A
SHA-256	C86010AA4EB3947D18A228742BF118D62E957CC36ED5DCA522EC98ECC5DC19C2
SSDEEP	768:/VXFnBYD1M/AP95n4eNoRPI0tBzbkfdyrbfO9FHWCAq0RE8aTHVkgZrayLeN8C61:PeNuI01rbfO9FHWCAqUE8aTHVk0rayL8
TLSH	T1F9134F506506E055C31768F862FA56DB43F1BBBCEA856FACAD1E041CDF03B18AB3416B

Key	Value
FileName	./usr/lib/ocaml/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveLUB.cmi
FileSize	9180
MD5	D009F9D81024954209E4B1A3D958B0F5
SHA-1	008D709867EB3870A4DA634AD76B73D07C1A2734
SHA-256	835E3427893F53AAE80D5A8AC2A3D4DEDAB0B8F8B59FAEB856D847579F7E3AD3
SSDEEP	192:1wqdWdVlx8L9lov1jP6xq1ISwkgED+CQb/cKw7snd83BTzgk:GO2VkL7opKq11wtb/cKwYnd8xgk
TLSH	T1B212568F6770A58CEE8744FD57ACD1AF0250A67E92DE4CB7EF0A46F4C21124D23AA113

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

Key	Value
FileName	./usr/lib64/ocaml/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NMaxMin.cmi
FileSize	2457
MD5	FF2F5E30CC98E0CE7B00161927EAA47C
SHA-1	00CDFE98852490E33E1CAC17D4E55E7C4FCB5FE6
SHA-256	D36D437A0177353B1F18BBB66FAD8D6F8CC740F7FC89FC935C5CEF58FEF5FCE0
SSDEEP	48:VeRpO5wZ0EOBLCKuUngiFP7TSF3BeSW8CAnJPb/l50C+wRp6UZ5RRbf20Qh6:VE05wZ0EA+KukgEDq3BFW8CAnJPbN50C
TLSH	T1F651F89E32C5B44A766202B2BF8D012F09361A52CA248C7C57CA67488579EBAB2DC01F

Key	Value
FileName	./usr/lib/ocaml/coq/theories/Logic/StrictProp.vo
FileSize	8020
MD5	C326D4BD9B438D0E651475719BBB7AF7
SHA-1	00D2E9A00394C9FB740D99DFBC3EE760E4962769
SHA-256	7B62606BA3D0D4A09185827404DDB8536C21B386B7B6BBAFEBB7C7894E15239F
SSDEEP	192:NGnbHXQ+0hWmv7GhjnBlpbi1xt1RfCM6q:cnbHg+qWG7mjBlFWtPaML
TLSH	T183F1E78DA3020943C4E98D7CEA75F1481BC819C722A6FB0B916412584EFCAEB8D57247