Result for 03334AE3B8F29E5D1228555010BCB958B7F670DD

Query result

Key	Value
FileSize	1719048
MD5	89D84E3E98494977A65EDAFCA2F4444A
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 Camlp5. . 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.11.0-1+b1
SHA-1	03334AE3B8F29E5D1228555010BCB958B7F670DD
SHA-256	64FF34447A1B612DD3F59E5D1FBB593E4DC6CF6C43E36916C3F52DE4975CAABD
hashlookup:children-total	14
hashlookup:trust	50

Network graph view

Children (Total: 14)

The searched file hash includes 14 children files known and seen by metalookup. A sample is included below:

Key	Value
FileName	./usr/share/man/man1/coqide.1.gz
FileSize	928
MD5	871C5DD7E14314CCDD7809C4734932C0
SHA-1	EDEF996EAACF450C9D442167A004BD28F10A401F
SHA-256	C756699A6F100D7DAFEE43FB6FA07CC4D5F5E6B93D1F626CDFEB80DDC31AB5F3
SSDEEP	24:XmwyLp3vfs9P1nWM30NtQYwHZ0nmYlpKMbHXsA8u0Sc:XmwyL93MktQYwHamsKSHXsA0
TLSH	T18C116BE85A101CF2B1455AA9636ED28E173393C7C1D640167B102C6746A0856EEDD50E

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/doc/packages/coq/FAQ-CoqIde
FileSize	2514
MD5	763C1708CA4C70954E6A86DAAFE628DC
RDS:package_id	182052
SHA-1	DBA1BC562B15A330013F388EC4B5D431FBE3EF76
SHA-256	5F76EE7217CE942EF350BFBE7D4F5EE368C21C4877C9D50C06489DD56BD71D22
SHA-512	7FF430F54DB0E740047D5631EC4E323D46F9A6064345BC5A6D554C0958AB980732207F281570A661BC5E7DFC7F62DA2EE056F6518F77FB5D76F98B63E4BCAB16
SSDEEP	48:vzcWCElVfRszUCG07lIu1YdM+T3ITEOQURs0j+qRhm83Vyri:vwWCsVpsbGrqYMi3IlRsg3Wi
TLSH	T12851C5669283237219C38171322CD9A59B3FDDBC5233598A6C3D85D8128477493FEEEB
insert-timestamp	1679425506.213619
mimetype	text/plain
source	RDS.db
tar:gname	root
tar:uname	root

Key	Value
FileName	./usr/share/applications/coqide.desktop
FileSize	198
MD5	E1989D5AB456438933926DB995156858
RDS:package_id	182052
SHA-1	67F9921CFC4DCCB7BC983E9752C789699C2FC585
SHA-256	CFC285CF553885F6B4B0BE3993132F43C3B32032768AFC231FC5C79CCC7726FF
SSDEEP	6:agOF3DJWBylLEtJ/LDlse2xWoc9iu7bD1Y2:rOF3utJP2ewc4wD1Y2
TLSH	T190D02295A4400228A9A83011CC4A0DE61E8B093801BA8138E53C00610001ED7E18EEE9
insert-timestamp	1679425506.224917
source	RDS.db

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/coq/coq.lang
FileSize	9946
MD5	D92E1DA4EBA2D4073C6E30B4242F20A7
SHA-1	A7C6BB6CD9095D22911B455B1EDA4DCD67ABD8F8
SHA-256	8F6758E5413173799D07D4897266FF5144C140B545FD47F1B9F18A228A7CA224
SHA-512	F63DB9C0EE3F8D8801E01D4B6AFE050E4098E7697D4CB2833BF95371BABBAB79D5DA7DC3A8F6C75D81AC9FA8A33B7346F6C995A91327AC3D347D294026120544
SSDEEP	192:HbVZZAIteYr9GuRPxlrNTyOmbSpzeY2q2h:HbVZZx1r9GCZlrNyOmyexdh
TLSH	T17C2244B8C8FB8E05B856C45173D0F5067E66F5E35229986E36CD0A98AFC1EDB00CF259
insert-timestamp	1643556779.4071786
mimetype	text/xml
source	snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_27
tar:gname	root
tar:uname	root

Key	Value
FileName	./usr/bin/coqide
FileSize	8987016
MD5	DFAB1D0AE80D7E6EEA325E7817823D0D
SHA-1	6319C991EE9FD996423A84DAFC0FA69FA7DF5BD7
SHA-256	642E935349BC98B9FC4159F22AF027317971AD68B56FA05C9C67A508A8970673
SSDEEP	98304:eO0rgo92XN5lMBF0vnCc351U8zhhz6a3CWIoAtA:e5rN80f0nCm5G8jEWQA
TLSH	T12A96296BFB4E6AADD3FDD43685A5ABB1B8907810199097831E80B3250E131E54F7FEC4

Key	Value
FileName	./usr/share/doc/libcoq-ocaml/NEWS.Debian.gz
FileSize	269
MD5	0ECA063A774B94A35B2709F6E8E4D6AD
RDS:package_id	182052
SHA-1	01024660E771DD5236B4AB77DFE0050CD2399988
SHA-256	B1659BBB950B950046B4C9660BD1BA77AECC2AC75CE8D9172942608DD8A845CE
SSDEEP	6:Xtq1MrzCx26YMHSG51tXgMIdrMzczJzVkVpXV77AFBS4jMNl:X81SN6RSGvttI9Mz2WV5V7Mi13
TLSH	T165D09535760099B79E5DD0F1357CCC4EC512C2098C20F1B1A0A5E013D0E6764D4DF904
insert-timestamp	1679425887.2617948
source	RDS.db

Key	Value
FileName	./usr/share/doc/libcoq-ocaml/changelog.Debian.amd64.gz
FileSize	225
MD5	DBB7E3F574FE41B4B76F4FF30E877090
SHA-1	0ED29ECD495485EBE3A4A885206321436F5910CC
SHA-256	1166B79B93E1F3874C3A0F5358038AEBB9873F825B5D4F9435B8116C0D2CCF77
SSDEEP	6:Xt+Q/neoJBklmrSBXc3AS7TTcxnnbK3el7f82:X0DoJ2mrqXCTMbK3g
TLSH	T1A0D0A7082F3678007863C9B8508A02199C9E9D511141116559605AD437E59AD8FCA3AA

Key	Value
FileName	./usr/share/doc/libcoq-ocaml/changelog.Debian.gz
FileSize	9830
MD5	9C111A08445BDF9DF0E73CD0057A2B5C
SHA-1	57CDAD604C5A4883BA31F6EBEF5B4C25FC1367A7
SHA-256	A06A6D5DA367152459972299DBB77B3DAB123AC6E4C31AB5CEF0CE693A98D516
SSDEEP	192:WvuSG3slHyjFRZMVylWzsGM37aa6xttmuwIJgVhXpv6nE:38qfMI0zsR37b6/7rgbXoE
TLSH	T174129F042F2942295E5DE505D7253896C4D50E885013153447F73B9E3FEAC2B50ED9BE

Key	Value
FileName	./usr/share/doc/libcoq-ocaml/copyright
FileSize	10062
MD5	89969BEA82E5558FC8AC7D7F44E36B11
SHA-1	DAC0F956F3E368FB78472956E8898BA59A983E1F
SHA-256	72863FAF77DFEEDE75179E563505966C949DCB4305DB10AC35146226C4548C5A
SSDEEP	192:ltkHfNwep5U5RcG8VnPltBFAQHFwrB7lNb+1vRje2xd7u+le2xv:lwfvpi5+G8xltBFAAsZlVGvRje2fuAee
TLSH	T1F122B60536098777B9E062FA390964E9B39AA7CBF5968453F05CD10D2F0B43A02F67F9

Key	Value
FileName	./usr/share/coq/coq-ssreflect.lang
FileSize	9756
MD5	8AECFF56976872B6E53ED389AB6A779C
SHA-1	F14D74A07C7D2E5CB156FF83CE14B8E419601AB1
SHA-256	F7147EB9A8F51C7EF808D9EB46913BBCCCC586FA1BEDDD261700CD47154D1EDF
SHA-512	F109CCC2ACD93D7421F4B0F161DED91F04CCFF15341883336A3D5EAA1DBFFBC1C1B72E5037D457B6B29A44DFAAAE3AB33AF700D08E6E9B3A90FA60D7D5B6FCD3
SSDEEP	192:H3VZZAvqJwJVKb8kB+5RovuPt+KWkr+4h8R3:H3VZZzOVKbXA5RovU+4h0
TLSH	T13712587895FB8E11BC46C89173D4F5067A72F1E35224586E72CE0A5CFBC5A9B00CF296
insert-timestamp	1643556779.4113753
mimetype	text/xml
source	snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_27
tar:gname	root
tar:uname	root

Key	Value
FileName	./usr/share/coq/default.bindings
FileSize	34286
MD5	CA9CCAFD722CF6CAE8E02BF7A7B7EC68
SHA-1	6562087A8438BC17946B369D8F4B06CBC2825CF3
SHA-256	36F7E6531083035B7ED833EA3CFDFD440F3A0C7D78F0C1B12FEC2C9CB5CA638A
SSDEEP	768:3Ir8jHxhd1SqtJib/pCaxplw2/SplpATFYFaq02AvCCBFZ3se1:YwLxhd1l4zpCaxXw2KprFl+VFZB1
TLSH	T151F2F89FF3EBD9738A2B38A15006764DF237C6EC8149C1547AD2985FA7CC227592A31C
tar:gname	bin
tar:uname	root

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