Result for 4F9F6F72BCC811A45D5DE32212D7E62D1C558295

Query result

Key	Value
FileSize	4567152
MD5	B2A817E5C6B5B0AA9422B3A2DF871337
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.0pl1-5
SHA-1	4F9F6F72BCC811A45D5DE32212D7E62D1C558295
SHA-256	4CD337BB11B53073FCC6073280B3C3CFE2DF0C84F4FDBFF212F6EF345B42417A
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/applnk/Development/coq.desktop
FileSize	130
MD5	DD346E1105877AE2D64CCBEFFFE9E040
SHA-1	E2F00180DCC355E428AD0A67917A2F0EC1699537
SHA-256	92B0C5E59DDC1CA13F54B9DAA285C4B855DC16848AFFB03A8CAF19FE1FD0DBA7
SSDEEP	3:ag49AAeWWBysQWX9U2xWoERMQuhJVCLnQWa/vINWpVSn:ag5AWBysQQVxWofbCEf4NWu
TLSH	T16BC02BC47C014338C4550435582042C1835508FC0854B400C05430318400BC8D555EDC

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/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/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/bin/coqide.opt
FileSize	6949456
MD5	3E1FDCEA2B6CDCEBD2244CC48F610571
SHA-1	6AB9A23DD9EE80F50DE80B393B993077994CD28B
SHA-256	943D96BAC0186DD719FE8A428B29B28D532FDB6BD77B9552EE0F55D08065F001
SSDEEP	49152:WqjTdlpW4RXBvz8/UWTsT5f7QEtqGTzOjhImurBCNXnQWfXaURgrDm3HxdxpGgpg:WqjZ+7lEtD0x5OPMpvSX
TLSH	T1CA6609733C869D12C13AD230AE8743229A36EC6AA6619F2EB751623D4FE574135CF5CC

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/man/man1/coqide.1.gz
FileSize	1155
MD5	FF3F4CFC84B361BF46D6C8C09782FFA9
SHA-1	F71395B569C61E8D88C471A591096FFA43942427
SHA-256	4BFCD598A7C680F9C972BFF0C8A78CC5033AF5E98B868F57812E6A2944C55FE1
SSDEEP	24:XLm22sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xrv4sQUXeEtlaFSDx9mCZ9
TLSH	T1D521C6D877A6D24016DA436F5C749A0B076F0B96EF19CA30C373C19AD4AB05748222D0

Key	Value
FileName	./usr/share/doc/coqide/changelog.Debian.gz
FileSize	2507
MD5	58EBC63ED0E2F8D84AD83FD57835C40F
SHA-1	FD0DEB2BAFF5B170279F553B988801BACAC642B6
SHA-256	B349B93FB7290858D1CD073C20BC31C966212D1FE361CD7DDA001018E55D6422
SSDEEP	48:XAvO0XZ5/3fjy6dNV8SqPszqdPFwBuKf+KuJmhZuMmMChU/:Q20XZ5ZVBKszkG4a5ushZhZl
TLSH	T197513CD523B54A7841686FF7CED8874C23A32B2A2712DD91B41B544E0D2EB8085CE15D

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/doc/coqide/copyright
FileSize	1949
MD5	6EE24E81D49226CD210BB491778EFB1A
SHA-1	4B7D8D71A9008BAD9912AB05179290DB7D314284
SHA-256	C58996979864299CFB9EA311766F6E2FFAA423ED713A2D1CF6390BBD4EBF03B0
SSDEEP	48:S8tqC1CjpRemziNCgsIT2kLmpGQaVffNPFcthQmavVT:SQqGCj50qk6NO9cttiT
TLSH	T170418416DB5CA3321AA244C135069AC5A75FAB7B11546180F46C650D6BC2D2862F73CE

Key	Value
FileName	./usr/lib/coq/ide/utf8.vo
FileSize	6977
MD5	C1A7A60FE7FEA67C99056CAC2858E838
SHA-1	C4CDB2370563D6B3A686085D11684BA5F8CDD357
SHA-256	A41D2B1E7B6637A2F664C0907FD85886BB18E11135741D709555F6024F54D0FC
SSDEEP	192:TuPyyj12kKdDwTKYXSvBk6Sn3c2LW+++bnjs:CqIsDDOzJbjs
TLSH	T184E10B1C3A93980306ED29BBAA24F84C8B7586D42DBDD45DE70D27F92AD4376830950F

Key	Value
FileName	./usr/share/doc/coqide/changelog.gz
FileSize	15549
MD5	F7BB6066291179CD3DCE0B86C8C7D3C1
SHA-1	7EC9B8089291B61B5C4527150FA68ADE14F7691D
SHA-256	8035AB5C0841E6AB64B682FA881FA31F4B528F18647C5665DF0FE0A1C3CB920A
SSDEEP	384:FX4Fwpw7K9uRepYpvD3d5PwaFV4GW3X/uqeZ13dZfEVer:Wmw1mYBD3d5oaVbWn1k1ffEV+
TLSH	T19B62C0D0956E9FED51DC05C8BD8588FAA1116242CFAF7F4B526ED9B2139094FC48021E

Key	Value
FileName	./usr/share/man/man1/coqide.byte.1.gz
FileSize	1160
MD5	A0425D160A38411C0BBE3B74C7FE86FA
SHA-1	73D479530A3C4EE6EFE02B720C9CA44DFAC03930
SHA-256	F573695CE4C14E9E0CB9275598A09FC0B1770C62BDD4BC336892562A9ED5CD84
SSDEEP	24:XLm2kvsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xrt4sQUXeEtlaFSDx9mCZ9
TLSH	T13721C6D877A2D24016DA436F5C749A0B076F0B96EF29CA30C3B3C19AD4AB05748222D0

Key	Value
FileName	./usr/bin/coqide.byte
FileSize	7302171
MD5	578FCE5AAA5FD9D099596AEF2132E2E7
SHA-1	928B904C2F1D6345C44D7732854BB69517EB058D
SHA-256	D1C0F9BBF27F0977FF577892E0653C98BB59C6CA58D44DA05EADCE838A8F2E3B
SSDEEP	49152:nYs+PVC++Az0og+f1vealUq80iTC0u0/aq94Zu1JFGxI8vYhBJuZPhtJy1mHhTWh:Ys+PVB+Awog+f12alUq8y9RwnDT8I
TLSH	T1D976440FB7108DA1D4A60AB6CDE783412375EAB69F030B2F299C561C29C3B5F6F45789

Key	Value
FileName	./usr/share/man/man1/coqide.opt.1.gz
FileSize	1159
MD5	7A728F64E676502612206D980C4D39A3
SHA-1	F7E49DBD3724693222CA60CA8E96D8E64EF30110
SHA-256	D02B53205BD9411BDFE139D3F84E78A27DEE363BC24DE3885DD136FF3BBEE9F2
SSDEEP	24:XLm2cIsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xry4sQUXeEtlaFSDx9mCZ9
TLSH	T10521C6D837A2D28016DA43AF5C749A0B076F0B96EF19CA30D373C19AD4BB05748222D0