Result for 8946EABAB734A48C3C184833E43CD03CBB12612E

Query result

Key	Value
FileSize	2004336
MD5	7ADAE66F03FDDB02DE485923DEC724B4
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	8946EABAB734A48C3C184833E43CD03CBB12612E
SHA-256	B86F32816566AFAAE8F5EC7498CC5ACD0C624FBCB0CEA4E07B1F17E6FEF82179
hashlookup:children-total	13
hashlookup:trust	50

Network graph view

Children (Total: 13)

The searched file hash includes 13 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.1.gz
FileSize	1155
MD5	E3034CFD1361338EF8AA31F2DACBA9AD
SHA-1	F248EF2CAA79C8370CED8AB982D8765DF219F96B
SHA-256	D9D1E53239362B01D330460BA69789EC38B251AF329079E3D68ED6B1B14DBDE5
SSDEEP	24:Xl2sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xlv4sQUXeEtlaFSDx9mCZ9
TLSH	T15D21C6D877E6D28012EA436B5C749A0B077F0B96EF29CA308373C19AD4AB09748222D0

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/doc/coqide/changelog.Debian.gz
FileSize	2507
MD5	3B0853723285F55401B09988FA09ECB0
SHA-1	B090C9AFE370A1333616ECD6AE135A6CE29E2D0A
SHA-256	5F1B02573B5C768899E4D245D85F58C2BA053DD50EA82E98AD41D21710380B20
SSDEEP	48:XBjvO0XZ5/3fjy6dNV8SqPszqdPFwBuKf+KuJmhZuMmMChU/:Rj20XZ5ZVBKszkG4a5ushZhZl
TLSH	T10F513CD523B54A7841786FF7CED8874C23A31B2A3712DD91B41B544E0D2EB8085CE15D

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/bin/coqide.byte
FileSize	7922835
MD5	9A010E51E6DAA3CAAF4622A873E524CB
SHA-1	26D86F839AF81C95D78D1666F1058545466325F0
SHA-256	F7FF4665E8556814818C92C6D92E0E861313514C3A45FB31F80A8C0DF993BCAC
SSDEEP	49152:AEHjVr+2PCHM6HVmyUE8kqTbuu0/aq94Zu1JRG1I4vMBVJCZPhtJy1mHhTWjtlg8:AEHjVr+2PCHM61myUE8lzh9zDT8l
TLSH	T1AD86430BB7109DF2C4A606B2CAE783452379E6B69F03072F299C561C29C3B5F6F45789

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/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/man/man1/coqide.byte.1.gz
FileSize	1160
MD5	638EFA341C3D62DC035033D5D9C8A959
SHA-1	40B601CEF6562545C7B1EE19575A4E8F1B1449B2
SHA-256	977B512F774454AA7FB16341EDD26544CA4F939F5DA23B657E4DFBBAF7EC3DA7
SSDEEP	24:Xlkvsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xlt4sQUXeEtlaFSDx9mCZ9
TLSH	T11021CAD877E2D14012DA436B5C749A07077F0B96DF29CA30C373C19AD4AB05748122D0