Result for F7907C5879547490FCDDDAB9833A351E3B595771

Query result

Key	Value
FileSize	4041904
MD5	0C6E1758E12DC858EDA3B6A63747C954
PackageDescription	proof assistant for higher-order logic (gtk interface) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl2-2
SHA-1	F7907C5879547490FCDDDAB9833A351E3B595771
SHA-256	7025C43973153C08997079C786880B918201B80E15FD13D2E44030E5D417A07C
hashlookup:children-total	15
hashlookup:trust	50

Network graph view

Children (Total: 15)

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

Key	Value
FileName	./usr/share/applications/coqide.desktop
FileSize	213
MD5	4EDC899CC3BF8C34E1F5C2517ADFEFEB
SHA-1	CEBBA0504AD2BE26703557B78AC4F5480DD6D01A
SHA-256	AFF9ED054250DBBAF528A49F2C76DA4D4FFA6D5F3C0E019DAE92E69303021FDB
SSDEEP	3:agQM2dxA9pGiwAsDEUQoo/LDlsQWX9U2xWoERMQ7RATiDhUHDaKQWa/vINWpVSn:agQM8AjSLEtJ/LDlsQQVxWocDSmf4NWu
TLSH	T16FD02396F416013D455C3471DD5AD5D65BD9047804B7755CDC3410214100E96F49DDF4

Key	Value
FileName	./usr/lib/coq/ide/index_urls.txt
FileSize	21782
MD5	40AB9C579443B38A97BFB5713D056563
SHA-1	E8F2B154FCCC16FD77613A7AB33AF3EC18C95761
SHA-256	D1711CCF191B228ADE89E2496C16574E6EEE8D728519FA2D1EC118EDF2E8E381
SSDEEP	384:sCrC0RsGBdFO52BSHlwsQq/H4gFUtrQOM4pzCr4tH:sCrXLPFO52QlwsQq/Yx5R
TLSH	T182A2DB907F58DFAA97AD489C31EBE102BE585D0FD6EEBD627DF68029471131630303A6

Key	Value
FileName	./usr/bin/coqide.opt
FileSize	6153292
MD5	1B2F413400562DFF00F37D85605D908F
SHA-1	2E63FF9280B2327348959564EEA0D91C1264283A
SHA-256	7361602A6739A5CC4E9C63C31FF602287BD7843C4CBDCD493470AB45E92C3F72
SSDEEP	49152:HAQouHmuK7GeKjRWDU/JNzmCTGOoKzQDiMrf133pS6bzEQSydXJp+YFG:HAQNHjiY7g4GOFzvs3ZS6bzEQS05QN
TLSH	T196560B93F9420DB8D17B8F30E6BB67BB377006460950933AC890A5A43E97671537EB9C

Key	Value
FileName	./usr/share/doc/coqide/copyright
FileSize	1949
MD5	3FA0A5A0264C45AA160D7861B907FBC8
SHA-1	D48A1DE90F439523E904F7DEA0AD5A58D7D42102
SHA-256	41CD6974223ADE517F99AED2957EC6C5725AEF9D69051BF03D5F26363FF845A2
SSDEEP	48:FA8XqCiCjpRemziNC8sIT2kLmpGQaVffNPFcthQmavVT:FAGqZCj5wqk6NO9cttiT
TLSH	T1CC41A617EB5CA3324AA204C175059AC5E75F6B7B11546180F47C650D6BC2D3472F73CE

Key	Value
FileName	./usr/share/doc/coqide/changelog.gz
FileSize	15732
MD5	4958A2A5118CCEF9C2ED97452C395079
SHA-1	DACC5F377EC8771EF4966AD76DAE96DA1718BD0D
SHA-256	F3D1CB2B37A94CE70C5A25B8074E496D00EE00C7A1B3A05010780076B2C7810A
SSDEEP	384:dwxz9pgnmMAN8eBaPEl/VOUdd7KihoXkMaRcp/UCKDyoE3:dwtgnm8uT9iiwsQNR3
TLSH	T14862C0DA8F2AC26B2CF1C6DC6554746DB7783B800CF36821AFC5D27D3126E5D428A496

Key	Value
FileName	./usr/share/doc/coqide/FAQ
FileSize	3157
MD5	1C2921752ACE03CBA4C50882BE1E4CB5
SHA-1	FCE22CBB58061A81A228F7E7B399F590F15AE47F
SHA-256	C285FFA159D3F2E0DA551CE01DD222EAA2B810768EDD23270EF3C3A2B5054C73
SSDEEP	48:v/c8CQlVfRszUCG07lIu1YdM+TX33gzE+cEEkrL7oReg9jhxt6vaItXQDRl0j+qH:v0aVpsbGrqYMi0OKrqn5Rlg3Wi
TLSH	T1B151B77B518322752D824171321DC8F6B73E9DBC533399C61C2D4A9C1254B64A3BAFEB

Key	Value
FileName	./usr/share/man/man1/coqide.byte.1.gz
FileSize	1160
MD5	8B3176C7963EA11B4BC931BB74028DDE
SHA-1	041E5C75B77C7F537348727C3D415F0ED58096B7
SHA-256	5D210AF3A6ED7D00523C5F578AC2BB667A13609CE4296CB42DC22FBCF02C20EA
SSDEEP	24:Xp2kvsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:XYt4sQUXeEtlaFSDx9mCZ9
TLSH	T1D321C6D877A2D24052DA436B5C749A0B076F0B96EF29CA31C3B3C19AD4AB09748222D0

Key	Value
FileName	./usr/share/doc/coqide/utf8.v
FileSize	2445
MD5	71D0D24818BEAA4246DBD22754C160CB
SHA-1	DF414B069513A18F5C59D4F89EE5C4E8DB73FD88
SHA-256	0EF32DE686C5AB9F51B7E3005F546C493911396E7A9DDDEEC624897BB3D0BD65
SSDEEP	48:kJcNaciyzBrX1QuT9J9PeAi/AWzQ1BMrarYREGN1lmv:kJcN1iyzBLCS9jWZ/Vc/+ThY
TLSH	T18251D67C0055AF26A7E719A236042ECC1732C4C50A5A9CA5B91CBBFC079D7FACB4D785

Key	Value
FileName	./usr/share/doc/coqide/changelog.Debian.gz
FileSize	2904
MD5	7E9BEB3C7A6F797B372C8881E9EDE1A2
SHA-1	D6EEFFA8A271C2E1F1627ADD31B7F3D7B7516483
SHA-256	A774532C34FB1D905F689D7E0DF836BF8CB9935C69F8B662412AEBC14571F57F
SSDEEP	48:X7TexktkSSxaxK0HLi6QZE6Q1yjKZXfPxyfSFWTMFW9/Gh2dRwuQlA18b8SauvOy:mOFIeK0QZMv34qFWIWiG38b8SaO1
TLSH	T1065129F8B8665DC24ADCAFC022F1654AF9C21703DEC198837C0318E88491A25F5CD632

Key	Value
FileName	./usr/bin/coqide.byte
FileSize	7322759
MD5	A25F5C0EFE8866715189B3FA2E5D684F
SHA-1	32F0814032A7F6FE39147E6B1BC709297F2D29D8
SHA-256	88C601D2E29CD608513CD7C09033BBFF7C82C92FFA0367414B1A549C048BC4A9
SSDEEP	49152:1g+2V3QLI4toq6m8jZ6fUM8NK7/eFDrz8RxI/DrYLGKotvLIOJjZPhtJy1mHhTW2:1g+2VUI4toq6m8V6fUM8CT07sDT8v
TLSH	T1BC76430FB7108DB1D4A60AB2CDE787812325E676AF030B2F299C561C69C3B5F6F45789

Key	Value
FileName	./usr/lib/coq/ide/.coqide-gtk2rc
FileSize	1127
MD5	F021F0439AC62032D7293B706574892F
SHA-1	A11413023552E0B82055A669D9B799686B537AAF
SHA-256	D4C8ECF6EA31B05AC027E1EACC5C28149BFFF30BF7A15CCC8E834612B25FD5F0
SSDEEP	24:z8Vth+Opk9Uy9T9zQkcvhEjSEz9sJMzLEIPWcGbnzr4b6:4T2zQkcJEjSERFzLEAsn4G
TLSH	T109211417652A6C5311370D1009CA91CAFBD5D2E88301A94C4773E63DB25DFAA05BD688

Key	Value
FileName	./usr/share/man/man1/coqide.1.gz
FileSize	1155
MD5	390FE3349D08B32A76940D73812E45EE
SHA-1	61E367C177164B0F1C151AEB3F9C952467E2D785
SHA-256	4858495456D2CF88643B924BF3F135BC07CCC9F6F8F6CC764EFC2A0C3EDF0ED7
SSDEEP	24:Xp22sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:XYv4sQUXeEtlaFSDx9mCZ9
TLSH	T13021C6D877A6D24052DA436B5C749A0B076F0B96EF19CA3183B3C19AD4AB09748222D0

Key	Value
FileName	./usr/lib/coq/ide/coq.png
FileSize	9103
MD5	82A2A753694C4E75E1150602956C9328
SHA-1	65A8A0D6DB0D845F53DBF6231433F2DF1FE3BBB3
SHA-256	136872888F056C596CFCE453760886808E3721E2DD40C1EC087C4E15538DBE78
SSDEEP	192:6tpSwnGfuL5Se/MQDbAHWecxCnl5e9oqo/Gm8l6/eohTN:6tpSjbQDbAHWBilkdO66mohN
TLSH	T17212BFA10F1E347C62F2A9F86575ECBE0185B07C479D8BF2863200B45196C0546F8F37

Key	Value
FileName	./usr/lib/coq/ide/utf8.vo
FileSize	4936
MD5	0CE61E7BB24F6E8404056C4B76AA76D3
SHA-1	E297786F0CCCE91D7FD89CA3303EB9CB1CD70895
SHA-256	CC939D997A7B6CE4A503995D8C3C2BE549F49AC98AF29B6F793791B3F766E0E8
SSDEEP	96:pr34u9O6v3KwDllWMsobhYURBA5nirudIC:p74u9O6/XnWMvbmURaiCj
TLSH	T1DFA10F583627CC5352F814B1D626F958DFA685D91CED9048EB0C2BBE0EC0BFA9609787

Key	Value
FileName	./usr/share/man/man1/coqide.opt.1.gz
FileSize	1159
MD5	DE80045BB27BB16878173D6644CD37FE
SHA-1	3085D09C5CB04A034C15E82F126E31D0D06E3107
SHA-256	E6A670A8D2878DA5B9E5730A607DEF2926E6B7C25F2E0257126EBE23DB9AAAEC
SSDEEP	24:Xp2cIsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:XYy4sQUXeEtlaFSDx9mCZ9
TLSH	T1BA21C6D877A2D28056DA43AB5C749A0B076F0B96EF19CA3193B3C19AD4BB09748222D0