Result for 3D63B26CBAB6C88FDD4278051BA2DB5FE595134D

Query result

Key	Value
FileSize	2338102
MD5	4DFFB017424101ACBBBDDEB8BECCDFDC
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	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.1+dfsg-6
SHA-1	3D63B26CBAB6C88FDD4278051BA2DB5FE595134D
SHA-256	F2D154AA954AC3D82DEC6001A74D7CB0A6D3AC39110714BB0A71E2788AC3941B
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/menu/coqide
FileSize	139
MD5	BB3ADF4C942E8617BC5A2663688DC641
SHA-1	A626A6B6F98FCB192F0A50CCB254F86F6E5A9C8B
SHA-256	CE46F0E26A4D2C44AB509167E409B5D965608F5A40A4EDAFB3B32716208B096D
SSDEEP	3:2RG0HKL9UaD6WHvINWRITHlUUlDhbQfV1sgHv:GG0UnD4NWuj7lDc1BHv
TLSH	T183C09B707125D535DE17EA31311102087395F1D14548BF5155B3874097515B057177CA

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.byte
FileSize	8924078
MD5	FE99B460CFAB9411B93D390057F39462
SHA-1	87711C385402B50DAED6A6AF4676F584ED24EA93
SHA-256	FE4C90A586444FA1CD7C2F1F56FB852857F935916CB4F32317BE0AC16F390D93
SSDEEP	196608:PoK++0NSnKUQNNR1K7Ag4e8yXeUNA4vCgs60:PoK++0NSnKUlsd
TLSH	T1D196544BB7009DB2D0A606B2C9E783812335E6769F430B2F299D5A2C39C3B5F6F54749

Key	Value
FileName	./usr/lib/coq/ide/coq.png
FileSize	9101
MD5	732A6D60BA0555D2F35A9A0321DB522B
SHA-1	93F133E896408DB926A27CCC63E54ECC1B80D68F
SHA-256	B68D530CDD67A4AEE5C3A5534D9AB20D0AB787A2448C1FF748131F3F97084045
SSDEEP	192:YtpSBVfuL5AeIMQDgA2+3cxCG5y5T9otl0GA5M6/gohTN:YtpS7IQDgA2+sr5ytaaS6oohN
TLSH	T1F112BEA10F1E307D62F2E9F865B9ECAE0186B13C47AD8BE68772107441568094AF8F37

Key	Value
FileName	./usr/share/man/man1/coqide.1.gz
FileSize	1155
MD5	374A9D01EA73423D931A349E5047D683
SHA-1	2F3C2ABBB8C9A10AD8FF88851AD995434E3309C1
SHA-256	0307B4A4D9C143DA58D6B61C4D0E435F4BFE7F45EF79DF47ACDED7D7CAD895E4
SSDEEP	24:X2l2sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xqv4sQUXeEtlaFSDx9mCZ9
TLSH	T11221C6D877A6D24052DA436B5C749B0B076F0BA6EF19CA308373C19AD4AB0A749222D0

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/lib/coq/ide/utf8.vo
FileSize	4802
MD5	522E4530CCF4AB8A5736454C32EF3871
SHA-1	F30AB57F27BD87AD276E77883FBEFA6492AE84E2
SHA-256	78E6F0150DD0504BE0A4E41358C8800353335CEFEBA08449BC21A23EEE547431
SSDEEP	96:inNMu5T5F7mAvKcKRtBCTq8mSakPMcdhh:MNnTDenaRmbkPMcPh
TLSH	T164A11F29352BC85302F818B5C667E5A8CB0947D01DECD98DDB0D67F90FD07B68A8A6C7

Key	Value
FileName	./usr/share/doc/coqide/changelog.gz
FileSize	19686
MD5	6F44197376B04CDD14FA37920E171A01
SHA-1	2D7F55D9C2AFC3E051E87F871C43D4C7D8D5BE8C
SHA-256	87041121649BD2391642634D93A4BB9923503187F17ED62F56C71D9E0492CA04
SSDEEP	384:XZQCi2/9wp1ocwjaXU0pn75sfGSuA7umcN42bM96qQ/s8DZW:XZQ/e+p1HwbU75sfnOmggQbDZW
TLSH	T17D92E195D05BE29A7D0891DA89604394C0582E8CDDEE94EF20CCA8D90C379DD4D27C5F

Key	Value
FileName	./usr/share/applications/coqide.desktop
FileSize	225
MD5	4E4BB9057B63270A9887D040B4D9303E
SHA-1	2AE0699F9CB87A4F48C456B6AD464337A6D1AEE2
SHA-256	116D918F25C4372AD650A89CD51BDC8996C43F784E509A34CDD7110B7CDED82B
SSDEEP	6:agQM8lF3DJWBylLEtJ/LDlse2xWocFVzYiu7bD1Y2:rKlF3utJP2ewcFVzFwD1Y2
TLSH	T19BD0A7A6A442012996A83022CD5A89D61EAB052C04B75178D93800614101AC7F58EEA9

Key	Value
FileName	./usr/share/doc/coqide/copyright
FileSize	1958
MD5	A13A2E0102010E581DE099F43972EADB
SHA-1	37ADB099BFB6B10E1B5DC8FAA33D731368C458C6
SHA-256	BEF0DB6CCCA033C02780A22C74468DEFC27422A03FE208987C3E3E65ADF12F40
SSDEEP	48:FA8XqCiCjIejziNC8sIT2kLmpGQaZzeP3cthQmavVT:FAGqZCjvwqk6NzvcttiT
TLSH	T18941C626DB5CA3311AE204C16106DAC5E76F6B7B1294A190F07C650DAFC2D3462F73CE

Key	Value
FileName	./usr/share/doc/coqide/changelog.Debian.gz
FileSize	4396
MD5	E163443F8E35205B8230FE39ED3028AB
SHA-1	10831496E5C84E705F86096154A79B4D0AC3DAA8
SHA-256	DC228191FC106B5522D3A2CF95B4DAE1058122FB817066007213E6A3372A2F70
SSDEEP	96:CVkk8x17o9GuWPx5G9+mX7jqNL8Z32Nul+EDj6XM0KzitcGXO+:qkkA17o9uPg+L8JYEDj6XM0GocG++
TLSH	T125917C7673679E820AE0AD3924E617A91F35D9CC380008C0B6581ECF23281FA1DA4C7C

Key	Value
FileName	./usr/share/pixmaps/coqide.xpm
FileSize	1457
MD5	709CF7B244144C9C8328D574C4DDAF88
RDS:package_id	182052
SHA-1	E9F2F0850DA2D025424DD9B0FC25207C7F33D953
SHA-256	8FCE1389C8415098201170CC7CC5D032B42CC403EB2172D6960F03EEF38E8D43
SSDEEP	12:UGCt3oDs0j3Ou9rH/zrbbj30CP44glbGLjqG2IDRR5Cj7TFwn:jy0TCuJbrbbr0MpglpvIDPUjHmn
TLSH	T1913148AAE2835D1735BAD543C34BD0F17D0983A38CE47C057E1C39AD632CF41645029C
insert-timestamp	1679425506.2314973
source	RDS.db

Key	Value
FileName	./usr/share/man/man1/coqide.byte.1.gz
FileSize	1160
MD5	83A7BA87234EACF3350E2592F5C92740
SHA-1	4AA79194D24F707E4165017755D44870A54FDFF0
SHA-256	4B54798E15CCFE7551031EF69A77C83689F3FC5478910D3EB79A7147A2FA351E
SSDEEP	24:X2lkvsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xqt4sQUXeEtlaFSDx9mCZ9
TLSH	T19221CAD877A2D14052DA435B5C749B07076F0B96DF19CA30C373C19AD4AB05749121D0