Result for 06DBC55E6939C1DE08A3841519E3F36920F9418B

Query result

Key	Value
FileSize	4493912
MD5	29FAF22FD5AEF2F3FB9D3BF0974991FF
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	06DBC55E6939C1DE08A3841519E3F36920F9418B
SHA-256	A828CFEA06C9B2DF621AA66E61E476059E6B359F2BF5A543FE11B2F588235B7D
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/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/man/man1/coqide.byte.1.gz
FileSize	1160
MD5	AB0CD3500E1626A1F9CFAB95F96C2DD7
SHA-1	0718E58710D81941EF1D75E9BB17338857C12F62
SHA-256	D3BC565CD6BBF4B3F796302D6CA3593940FF43273414C103437EBA4359040749
SSDEEP	24:X4kvsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:X4t4sQUXeEtlaFSDx9mCZ9
TLSH	T10121CAD877A2D14012DA436B5D749A07076F0B96EF29CA30C373C19AD4AB05748212D0

Key	Value
FileName	./usr/share/man/man1/coqide.opt.1.gz
FileSize	1159
MD5	327C42D2E377D0365674F4EBCD3472EA
SHA-1	A2DEFEE8B8B682BFB520493EB21C177380CFB04A
SHA-256	00C6852F771157637B0C8C552CE78BD0145F90BD2713DA621156042E707E3B70
SSDEEP	24:X4cIsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:X4y4sQUXeEtlaFSDx9mCZ9
TLSH	T1D321CAD837A2D24015DA436B5D749A0B076F0B96EF19CA309373C19AD4BB05748212D0

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.byte
FileSize	7332768
MD5	B19931979955F94584DEB5519441A548
SHA-1	D7541633A4A74B355B2E03A742EBEF9AA68EAD9F
SHA-256	9DBEF5B6533AED0D81CAD83CD1E56B4DF0722C671CDF28B0B008652B3D3F238D
SSDEEP	49152:bD+CVcj+eJoGMxi9UalU6875T7Eu0/aq94Zu1JFGxI8vYhBJuZPhtJy1mHhTWjtO:bD+CVcj+AoGMxi6alU68lNRwnDT85
TLSH	T14876550FB7109DA1D4A60AB2CDE783412375E6B6AF030B2F299C561C29C3B5F6F45789

Key	Value
FileName	./usr/bin/coqide.opt
FileSize	6726720
MD5	B24576E2F26A5E28A13073FBD1709F3D
SHA-1	F5786DB3E64759A628D7B82BD1D2F0CEFDCE2B54
SHA-256	61EAE305CE7D08156F64522695CE79B14EA7D76361619C9E51947032D0DCED1A
SSDEEP	98304:6uj+aHHvElpXU0QmkRQhih7htvV9Aw5cMpmyzmYzYa2L9fEJDHiGYRCEXu9na:6udOscMlCYzYa8fEd32ya
TLSH	T1E0660A09E6C4AD72F01B0F7448AF03E28BA86E8447F57317C54DA6287B7077552AAFD2

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/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/share/man/man1/coqide.1.gz
FileSize	1155
MD5	B877C01F87BBFF98D2E3C14D0A8A8BF4
SHA-1	889273CE1AC7649ADDF4759B3FEF2F305F1029E9
SHA-256	D5D93BB7FFD9BBCCCE7448D781762EAC146C6C51F8D18E81A08B6C0749599B9A
SSDEEP	24:X42sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:X4v4sQUXeEtlaFSDx9mCZ9
TLSH	T11521C6D877A6D24012EA436B5D749A0B076F0B96EF2ACA308373C19AD8AB05748222D0

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/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/share/doc/coqide/changelog.Debian.gz
FileSize	2507
MD5	232BD4524258CA5EC5592611AFCE0061
SHA-1	30C5F2E6D443FD1B762188C22BF0CEC70A98AB98
SHA-256	097F2C1CEC35A89A46A57626E8F4E4C6BFB490DDE9351F05785E90F03D78B6F6
SSDEEP	48:XlvO0XZ5/3fjy6dNV8SqPszqdPFwBuKf+KuJmhZuMmMChU/:120XZ5ZVBKszkG4a5ushZhZl
TLSH	T119513CD523B54A7841786FF3CED8874C23A31B2A2712DD91B51B544E0D2EB8085CE15D