Result for F65DEAAC0EFB8069C8A58064751911A922FFB4FD

Query result

Key	Value
MD5	FB606CDEB2F5D3F185B1AB523CE2EF1B
PackageArch	i586
PackageDescription	Proof assistant which allows to handle calculus assertions, check mechanically proofs of these assertions, helps to find formal proofs and extracts a certified program from the constructive proof of its formal specification. This package contains shared files and the command line interface. For a graphical interface install coq-ide.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq
PackageRelease	1.6
PackageVersion	8.14.1
SHA-1	F65DEAAC0EFB8069C8A58064751911A922FFB4FD
SHA-256	D4E282FC4B647BAAA64F3EEC94AC2BB829003CF244581A4CBC6305B78B3B3461
hashlookup:children-total	1260
hashlookup:trust	50

Network graph view

Children (Total: 1260)

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

Key	Value
FileName	./usr/lib/coq/theories/micromega/Lia.vo
FileSize	21587
MD5	2903F748B40D05811B4CA0105850AF3B
SHA-1	0006852DD4277703FB71C812BE4F96C1E0840201
SHA-256	C11D926113F10411BAAEEC05F08A1D39BA2B7D1977E8878CF5FF3B9925267235
SSDEEP	384:CjOvpU8dAr8gTr1r3cZ5d/GkeKw/jDHk9f+V8dr1gOCSP8b:CShUls/d/SzLYarb
TLSH	T15BA23149C5419BA15472CE308E3C64C805461D83E35E5BB926B8426CEF5FBEB3EB2793

Key	Value
FileName	./usr/lib64/coq/theories/Init/Notations.vo
FileSize	9629
MD5	211AE9633D0388303A575BA07F2605B4
SHA-1	003362771D17F71A5FEA256F67E1463D5FF54ABD
SHA-256	36ECFBA080243C69D9A7BCDFD3FF95E173300E628B909EEE68E13E9F979EB187
SSDEEP	96:mvHwFo++eTOqF/m21ojr1Lf3PvcTQB4l+DFWK8nNjhIa0HrRMIm5Hq5TK7v+dHBW:Cw1vW1ffkTJlKHHFcCTK7v+/Nc
TLSH	T12B12D2FEF7152879CAC8DDB8EC2E5EE837D608C538634997970CCA673CA0766401A64D

Key	Value
FileName	./usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FMaps.cmxs
FileSize	16028
MD5	5BC9EA4F823EE25161A9D3D6F4F916F9
SHA-1	004D1765F12EA95E045BBF9411C404331683DE2E
SHA-256	DF39747733895FD0F197F3DCA5C6F24EC4AC5688EB2E53AC9FB97CDF6F1A31FB
SSDEEP	96:1e+2BWBKvFe8NwFLcGFJ7mURrgpN3hA7WAUrVOUAIZgAp5rrY+vFxquYgq:wX8svFeOQTNeNn9/r8a
TLSH	T110720A6B77CCE8BBF42212F9D49F177122B4F42296F20737678822482DD317487A561B

Key	Value
FileName	./usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NSub.cmxs
FileSize	16120
MD5	10D587F11DC9BB6622164F6508F5A2A8
SHA-1	009D21FD221C1EA6DF4E71AF8C8696A745BDD434
SHA-256	17655169E25BE4F8D02C8D6CCA56DA504F14F6C674AD79EC1E03CBC810E36287
SSDEEP	96:kmZBWBnFobcG34s3JFNAFL9MGhW7mURrgpN3hA7WAUrVOUAI3gApLjJQY+vFWeqn:F8hFobcG34s3JDmhmNeNn9zjJZp
TLSH	T120721A1B77D9D5BBE02212F9D81F421A01B8F503E9F2453B478522152D771A8A7EE50B

Key	Value
FileName	./usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalPos.cmxs
FileSize	40012
MD5	74F4D3E3448D5ACD4C00DD75E41C3565
SHA-1	00D5A8F3C0F53C9E583BCDE199FF047F664FF748
SHA-256	F5EFFFD0FE7D4B554067BFD99BF482CB9D774FEFAB43B0E084A736293BAB8B2A
SSDEEP	768:JmcdbwSkFy0S6+2HIdIyUOw682/RQ+Mqo2Ei4rJjjjjjjjP11P6PWYac45dgwKOh:FmhrtCPWYac45dgwKO3948cU2RDM9L/B
TLSH	T17A03A5913386E675C27B5DF1CCAD8B582320C61975EDA729E805889CAF27F8763110FB

Key	Value
FileName	./usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_MVT.cmxs
FileSize	19808
MD5	722619B65D39D2999EF374223FA4E9AB
SHA-1	01270535069B876230099837D9D9F1A026683040
SHA-256	C5746E3DDBB096C94ED80165CF783559C1935EA9983319C14745881F37EA2A02
SSDEEP	384:6oi5Em4mL5ejBDZvxv/r/RRa6IxsphwqEI3QjYz:6oiGm5UBDZvxv/r/RRa6IxsvwqEI3G0
TLSH	T14B92C7677FADF134C326B6F5D49E3F0E9A21C20669EAA719CF190104ED4362172360AB

Key	Value
FileName	./usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Notations.cmxs
FileSize	16036
MD5	9A6F12473D3030A95E9D58309375FB46
SHA-1	014A2571C86AF13D82541B2EB9B77CEDA840259F
SHA-256	964BC7F42B60463B9EA2335AA695033F3646E46426D8676320EDA18465580437
SSDEEP	96:t5BWB1udLeNAFLIGf7mURrgpN3hA7WAUrVOUAIm4gApYY+vFpquYp:L8KdLwkTNeNn9Wc
TLSH	T14B72EA6F77E8E537F42212FAC6BF172212F4F042A5D34736674435051C621B897AB62B

Key	Value
FileName	./usr/lib/coq-core/plugins/tutorial/p3/tuto3_plugin.cmxs
FileSize	65848
MD5	FEA975B2129B7845DD41E5FE9B69FDA4
SHA-1	014DA115DB9FEA68D22FF9FFDC628BCC62718F6A
SHA-256	20A393A4213BF7E20573CB3CA37E5B61E5E5A8BF59D316DEC7D50F1BCF92BBB5
SSDEEP	768:r8OAOHCn/L4s9m7tCrhnzByQt1ysB7WitsyFfQ9nOapisEf8rPMvHkNHR:4OhGmYVzByMhFF8EQkHEx
TLSH	T1F1533AD6779EB83DC0B20EB084AFC3667274C7512F11F61A5954A2A83D90BE60BE35CD

Key	Value
FileName	./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Wf_nat.cmxs
FileSize	42900
MD5	813EE3217909510C92D8A2C11A768866
SHA-1	01622855C639ADB544175C1F2421BCE5E712C4A7
SHA-256	AB0CC203F08B42AFDEE84585908FC92BCFC9E793D6C755E50E6CAD4876A0F979
SSDEEP	768:0HqSk6MOhR4rAEB5JaMDeHffvijG47EGfeV3cOW+Vq7rd+1VRm0udeFdnxzxyxv:0rHB3rLvPm5dInxzxy
TLSH	T18E13B75C378C987DC26F1CF06FEF8B775060E52A3D529D2AB90E278CAE5130843695B6

Key	Value
FileName	./usr/lib/coq-core/plugins/ssreflect/ssreflect_plugin.cmxs
FileSize	1311196
MD5	75EB8ABE868F7B8B79E001CCCDE09607
SHA-1	01EBE5765553AC83E0687CE1BE02DB26A19ECC82
SHA-256	6A86E2A18B52C9E7227C3151F9366BCD68B1DF2DFBCE2C87CFFC62E9B8B8AD0A
SSDEEP	12288:jQjm3akdUMQ+ncegfTmgfyqrBihnDe133CMllI:jQjm3aXMBgfTrBAnDe93CMllI
TLSH	T162550896A55C0A7CC0F90FB2C99A8BB33575C2922E02F906581874A8FD597E40BDF3DD