Result for 514AA43758647BAED5F0400ED8A8B990926BDCE2

Query result

Key	Value
FileSize	2199796
MD5	94FBC3E75F34DA718340E2D685D69E1A
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.14.0+dfsg-6
SHA-1	514AA43758647BAED5F0400ED8A8B990926BDCE2
SHA-256	FFCE1357FD7F08893216AB30D2C65F4DCCA93D157BF37ECA904420E6EFA0AB30
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/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/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/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	220
MD5	B84924602D66773EFC39D9F68827A084
SHA-1	036775817252F19ECCB575DA78F2A84748B2E99B
SHA-256	41940C9D17A2BBA2076C92527780CC5A870D510280B63A2C0EB8D67F5ABE0653
SSDEEP	6:agOF3DJWBylLEtJ/LDlse2xWoc9iu7bD1Yz58:rOF3utJP2ewc4wD1Yz58
TLSH	T195D0236664C113389D543111DD5B4DD66D8B0538017A413CE53C00610111ED7E18EEF9

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-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/doc/coqide/README.md.gz
FileSize	2182
MD5	0F8347AFF6C61B64E4A19F6E70D19A23
SHA-1	4F87687EE51E4CC9A0EAB7A7E67942FBF12993A3
SHA-256	3023E5174435B16C2BCC2C27D4775B843C56F96150827568516BB89631307D26
SSDEEP	48:XrhAhNL0Jzpz2i0xt138dGsIfNtrEe3e921p+NSiqWStiZA0izXg:7haNLuzSxDsAsIf/Ee3eAwNdMiZA0J
TLSH	T1964129ACC470161ECE7876E155CA766F683A3EEAC950418770058627A7E6BF131F329C

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/coq/default.bindings
FileSize	34133
MD5	BBC37DD26371EBB15E749E7169DDE41B
SHA-1	E34251A49BB0073A2AC83AFE09E6987336205AE9
SHA-256	7627950EE4E76DFF2BFFC0BC93D42FAC23B659A37EFC6E8B3BB978DACC9FFD7E
SHA-512	8A37FE0133BA5B4C52479BFFAA25BAF48E72EDCDFE3A983F00B23851E5436FB82D89177A9F2F06DBA81F0A800670E22CBE6E0D81E7F5881F5DDC7BA189871D4B
SSDEEP	768:3Ir8jHdhz4SqE21b8pCaxKlB28SppoT+TFaq02JCCBFD3iQ1:YwLdhz4sagpCaxuB2HppTlNFD51
TLSH	T123E2F89FF3EBD9738A2B38A15006764DF237C6EC8149C1547AD2985FA7CC227592A31C
insert-timestamp	1650070137.1279445
mimetype	text/plain
source	snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28
tar:gname	root
tar:uname	root

Key	Value
FileName	./usr/bin/coqide
FileSize	10832312
MD5	260DAC8533EBCF1189FBC13478E4A4E3
SHA-1	CB932841C6F9EB7D0009D497E1CB12B7AE97C0E7
SHA-256	88C4C0EA6FE815343D4AB64B32E9A22F1F40CB3016832A3A346776557DF9308A
SSDEEP	98304:K0MFl1Ko7/nn5CpNtilIfgGmjNZN8lp6y8gGNalAk/rDoCWRb2lDKxQ20pAJwbN7:olJnn5CjtcIf4jikJu
TLSH	T154B62B7FF90DE59CDED986F09AA94BC3B229F90564D0C3621A5132247EC32ED0A7B4D4

Key	Value
FileName	./usr/share/doc/libcoq-ocaml/changelog.Debian.gz
FileSize	10925
MD5	CDB944BB489F228AB7EE3711E6D90A72
SHA-1	94D1A962304FBB5FF6AE9515037DE41665D90A90
SHA-256	9B324DF507FA4A707A8FF3BC666C719924E9BB439FCBFC58B73DA72912B36A95
SSDEEP	192:YqTXKh/ocEoz9DntstKATvoaiZfpF30UI/IjT7zpQ87gvroDrqVjOA8N9ijTfj57:Yq+WPyLfakId/IPp/+roDAjrGq
TLSH	T15732C08DEF3BBF0FC2CC652492AC81D9607D5D8C4D840DC9562BE041D9F185AB26F766

Key	Value
FileName	./usr/share/doc/libcoq-ocaml/copyright
FileSize	8542
MD5	B7815F7D7412095AE3D5D4DC40F8074B
SHA-1	A449B4A505E80A5F80CD07086A4E5DD2D1A95E27
SHA-256	DF89785D2EE796C75562C82731252DDF3D861E00E14F7460C72E4113610532B0
SSDEEP	192:lO3hYrs0rs1TF3J3bCBJQHFwrB7lNb+1vRje2xd7u+le2xv:lYKrs0rsxt5beAsZlVGvRje2fuAe2p
TLSH	T17402D81B370487772AD023E1364EA8DEF32A679F721A8440749CD1496F1BA6A47FB1D4

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