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/icons/hicolor/256x256/apps/coq.png
FileSize	23
MD5	A80B8A5EAAABF12C489845C6F25A8BB6
SHA-1	3018634022B3BBD3516BD15A09E18D29FE73ADD9
SHA-256	3405FE341236773AC7395232432AF076029278DBA96981472C58C1629A2C491B
SSDEEP	3:gCWd5LC:iu
TLSH

Key	Value
FileName	./usr/share/coq/coq.lang
FileSize	9954
MD5	6F2ED074A73273451661D52CB9915B87
SHA-1	2869B46658F09538D81E56F45DF1545D3AE81FF6
SHA-256	94310B4AB4BA8F34356DC777F62C05D7409493C17C9F88C0235A1DCC05647521
SHA-512	6D88B4A20CF444767CFF7BD8835020FE638DD92D9EDCC6C1DCCDB9F9A58E665CE23A260577FF4088C72BF120BBAC98F3AF26E5C91056E8808A99F21C698EF863
SSDEEP	192:HbVZZAlteYr9GuRPxlrNTyOmbSpzeY2q2h:HbVZZw1r9GCZlrNyOmyexdh
TLSH	T1702244B8C8FB8E05B856C45173D0F5067E66F5E35229986E36CD0A98AFC1EDB00CF259
insert-timestamp	1727037182.4482467
mimetype	text/xml
source	snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34

Key	Value
FileName	./usr/share/coq/coq_style.xml
FileSize	1441
MD5	3EB03E37D05236B3A49ECB675D284753
RDS:package_id	182052
SHA-1	504B791AB92FD9F15DE11B72CDECBE59CD0A94E8
SHA-256	B6F4BFC21ABA6AEEB569663F750C2CE01CC0DEB89DACF75694F20C8722E4A310
SHA-512	CFBC44C40749D749A613B41B57CAE52913E22D54AFF1117F2CEC133D6BF70FD830A902AACE4D7B6166738E7A7ACC776C70ED30036E476DE4A27D8260D121FBA2
SSDEEP	24:2dky2SVeFhpq+JyNSod+0XgcAR55WMuNwv:c88e1ofE0XgN6E
TLSH	T10621286CBBF10C1853F7C4BEB88178081819E1E15E16E39067EFB834184EAD6382B983
insert-timestamp	1727037182.4660974
mimetype	text/xml
source	snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34
tar:gname	root
tar:uname	root

Key	Value
FileName	./usr/share/applications/fr.inria.coq.coqide.desktop
FileSize	236
MD5	F4A9431AEF76F82C7C6D662F9070B0A0
SHA-1	085E53D602F3C2C3ED37DD6EAE77CB1895CE421D
SHA-256	E611EDC1FD4AF020BE5C15BA0C5C78D0B3FB2F7CA3F61953B23ADD39D34E5B14
SSDEEP	6:agQM8L8c58IWByZWByJ2cAzYC13hYGCBI:rKL8c58rcPC5hYGCBI
TLSH	T1BFD0972B310A82218A5D20D14AA6CAC542A20038043AB020F82122B09028E8731A7ED8

Key	Value
FileName	./usr/bin/coqide
FileSize	10239048
MD5	B3A5E85FEC7429AA8430D9706571CFBB
SHA-1	58ABA885611AAE2628C595DF85F0EC10B825773E
SHA-256	A010C834BB0E9EB3B8AA586EA52CFE1FB28ABB02D29EB7E36CCF522F705DEDBA
SSDEEP	49152:Ahg18gh9QNYbEMhsSu7s3QhJhghzJRl0QNjFAfX7XGvqLQq26+OQmHkr9TEZhOxI:qg18WQNVM8irtesk1BWeW4s9msnpu
TLSH	T15FA6282FFA5E1ABDC6F9D172D0BB53B0BAA47841655067270A8072240F439E91BBF7C4

Key	Value
FileName	./usr/share/metainfo/fr.inria.coq.coqide.metainfo.xml
FileSize	3357
MD5	F7F6EBEC4DCBEE19C8EB2C0CE13FC1BD
SHA-1	6BC8BEE009B63757B7A1C455F6206E2003908FBF
SHA-256	E07F9C95FDE53A825FB98B7A7087EB0C0A9D39FAFCE7E08AF847EFBA3BCE823B
SSDEEP	96:OhaY0EVY2BKzeKAnKOKVKPK2KM7SbZLxKal6g+M3+acdtpo:OhaY0EVYyX7kX1+M33cdt+
TLSH	T188614739D0FEE66B874115029A6169497E7EDB7B03070C99B08C89A8BF0782505BF668

Key	Value
FileName	./usr/bin/coqidetop.byte
FileSize	42639371
MD5	08B8D203F548532283DE385971C9BCD0
SHA-1	6980D86BE921AA5BD74A6E2EE3A3E6346AF8F68F
SHA-256	B3E477C154EF78716EC0C5D276BDE71701F8983660A29CB891E961C0D8CD60E4
SSDEEP	196608:ZpXs5Oltg9ysSPXtIU08B3Vjrx2by9LTjjdk36zAFTk:bok4yMd8B3Vjrx2bYjW36zAFI
TLSH	T13897F74FFB596AA5CD940AFD8CDA428B47E0593C86C34EAB815F02D5D08370E2F52E97

Key	Value
FileName	./usr/share/mime/packages/coq.xml
FileSize	419
MD5	E134DD73E097FD8D2D66318CE377EE95
SHA-1	3C7F6996212F7A08272A79681DB391AABBBD7919
SHA-256	B782925E042C904FF1EE87BF5CD04DB51FC481FFFE2336FF60B77ABF73CEDB8E
SSDEEP	12:TMHd9KLSj92OlHnYGjXX7U7tysblHOXGFys2OAE:2d9/jMOlLjHWtysblSGFysR9
TLSH	T1B4E0E5C4E6D398556170E9174B2BD018730593A74194B9AEF6C1CE71DAA1FD1069234D

Key	Value
FileName	./usr/share/coq/default.bindings
FileSize	34133
MD5	FF78E6F1EFFE225997395FFDAA13EEAD
SHA-1	A13227C03FB75EA591C39FC8C4937A23B4636913
SHA-256	2996D9897167A0C88E9F88B700145867D838F2B82E41B7CEA4D6C7C341AA54A3
SHA-512	37814C296B0C242FD0D09A1B05EC66DFB0E96B3F6E86D1BFC0294C40BA64F6272528FF5A764DC50BEF4EE39CE866438391D841CA8639F0E0F56A751BDD135A56
SSDEEP	768:3Ir8jzdhZ4SqE21b8pCaZqlPP28SppoT+TFa0y2NCCBFD3iQ1:Yw/dhZ4sagpCaZOPP2HppTfbFD51
TLSH	T131E2F89FB3EBD9738A3B38A15006764DF237C6EC9109C1547AD2585FA7CC227592A31C
insert-timestamp	1727037182.4614701
mimetype	text/plain
source	snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34

Key	Value
FileName	./usr/bin/coqidetop.opt
FileSize	21955504
MD5	3DEC4E2CF2385F1B1B2BD5E203390382
SHA-1	0424B921F6D6F225B754446EB82D22292E19929C
SHA-256	F0CB74D28840630AF74D09846DD26FA9E8B40C6BC88E47DAB6D093172D2A9B96
SSDEEP	196608:iq9ZF1s/RoSTJjGkzYS8LInHo4BpGBP8a:fS8Co
TLSH	T1E9273B6BBA8A9ABEC3F9C636C5724771BB71B46426417B1718D063250F039E91B7E3C0

Key	Value
FileName	./usr/share/coq/coq-ssreflect.lang
FileSize	9766
MD5	BD106BEDDBF1373305AC4494498A4686
SHA-1	A9A9C7FEC8DAD01FFE377675097221C87D8A9667
SHA-256	ACC77089900D4745BD2287D5F80B86A1DDFBB959417641A81F61D624A578B8FA
SHA-512	38CA20A2444D6DF91871C5C3EB830ACC1B1A326DCDB20CCFD36B47F89988861FA3FD33CCAAEBE65B59925E7E9B84F2E0835770672EF29221C9CD720EC9F88944
SSDEEP	192:H3VZZAvqJUJVKb8kB+5RovuPt+KWkr+4h8R3:H3VZZzyVKbXA5RovU+4h0
TLSH	T16A12587895FB8E11BC46C89173D4F5067A72F1E35224586E72CE0A5CFBC5A9B00CF296
insert-timestamp	1727037182.451335
mimetype	text/xml
source	snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34

Key	Value
FileName	./usr/share/coq/coq.png
FileSize	12907
MD5	5FC00DFA3FC9733616991E845B4A5DF6
SHA-1	73C29413AC80A4123B6D1D45A5B595C13F9F2168
SHA-256	AAF038869D97CDD4EE30CB23337D3479E74AAD0A2AAD5F2A874817866A5F1DB9
SHA-512	2F0D7576BE42D79AF9EF516715C8C1A789A45173E30024132265B22D2E09CBB66AF326AC9B224FD5A7019F5B1B9CF8FD13E5202F33AE11EE748EB064F6DC8F44
SSDEEP	384:5dTKPkzhKNWAOrNaTqHF7UBOSGj0BIJzMQYtnHzEx5G:5tzNgcZAcSGgWOQYtT+G
TLSH	T1D542C0141BD4621028733CB79B28143B496E9A6E79A3F49CB34C8334A7D638813DEF65
insert-timestamp	1727037182.4693353
mimetype	image/png
source	snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34
tar:gname	root
tar:uname	root

Key	Value
FileName	./usr/share/man/man1/coqide.1.gz
FileSize	908
MD5	0BF30F9B919869D9092233D7FC02C47A
SHA-1	0ED78FD9EEDD79E5D3E18724F1264914D0E25516
SHA-256	715B2460BE3922621DD43018BAEB3FA0EB399135B6F272CD1CFAD1F32BB937E6
SSDEEP	24:XvbBgh3mzMoQNdn8Q4QvO6XEljBIKrEjgrV:Xvb6pFT8CvN0ljnB
TLSH	T181118822D0045728946A332A35758A4171C06039EBFD3E6477779439994F86665D224B
tar:gname	root
tar:uname	root