Result for 8A35FE9CD6555166B526541775C366B8A6BAD6E9

Query result

Key	Value
FileSize	1836744
MD5	FA48D02373370C5FF07EC75126A244B9
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.16.1+dfsg-1+b1
SHA-1	8A35FE9CD6555166B526541775C366B8A6BAD6E9
SHA-256	E8EE2400631A564FEF2047279700BDFEEBEF33209250C49CB953D999A940009A
hashlookup:children-total	18
hashlookup:trust	50

Network graph view

Children (Total: 18)

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

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/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/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

Key	Value
FileName	snap-hashlookup-import/coq-platform/doc/coqide/FAQ
FileSize	2514
MD5	FD4912BAFCAB9018B377CCCB1C1F27A3
SHA-1	12F1126960CEC95B8FB36CADF642270BE5FDF875
SHA-256	92D9382B8918FB76991601757B46E839D231927EAB68952EFECA7FBD71978080
SHA-512	2E8D938F09CDC1B05E9B0415B61771D69ABD5D1AAC4D52F7CDC70DA47D95E15042B540A9C9A4B687EF7E9F774F5B592CBC379B4C23CDF364C95FB7B54A1C1AA2
SSDEEP	48:tFcWCElVfRszUCG07lIu1YdM+T3ITEhURs0j+qRhm83Vyri:tGWCsVpsbGrqYMi3IlRsg3Wi
TLSH	T15251B4565382237219C38171322C99A59B3FEDBC1623589A2C2D85D8128437493FEFEB
insert-timestamp	1727037181.3995771
mimetype	text/plain
source	snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34

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/lib/ocaml/coqide/opam
FileSize	1122
MD5	72B8F87B2BD998359B8F35DCBB73E5F4
SHA-1	5AF08E58E68CEBD633F558D3B9820FB3CAED8382
SHA-256	CFD7DE72BE1C3FDE4AFE20C06EAF81B515024BB8A0D02121C4379CFF9237994E
SHA-512	63E3040330B3086FF3F898ABA47D11B072EE0D8FB37FA94961CABE5E0AD41020F464D326F7E37E13D5753E788E33FBC5443F29656A751358A2FA72670E87CF35
SSDEEP	24:qGGvhqtPs5FcMSQK+XA/qY+Zvx2nwYcLSp0sY5Xmir0n:8hqtiFzK+Q//+ZvUsSiEIA
TLSH	T16D216637C94E8664B58404D0FC9925E2FF7F668B82F01455E0DF441CBB839A013ED271
insert-timestamp	1664889635.9215229
mimetype	text/plain
source	snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30

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/bin/coqide
FileSize	6622240
MD5	5E81BC33790477391D84253C3F06B1AC
SHA-1	797A37847FCE6BE4C6420C8A6B86B5D71E3A972A
SHA-256	650FA70D383CD1A35076A47C1F87A24B155A80FE34A1EC8B5E3B3552E9B96194
SSDEEP	98304:ejClPQgdjv+Mmj/CXswovs0LaiUcDcyY58p7v:XZWLj/CUptuGp7
TLSH	T1C8663B23FB0F292EC9B7E47570B6A703E514F28876D285576E0A322C1F891E4477B9C9

Key	Value
FileName	./usr/share/doc/libcoq-stdlib/copyright
FileSize	8290
MD5	C1E00C359CCF9DD7C807C286B0314B77
SHA-1	8D0DDADB20D8AEC71200F64B9C40734B19A4E95E
SHA-256	DABAB3FF73A6DBCC98F576DCD4EF7A297F159D5A9E019C4FC635397F76C0B476
SSDEEP	192:/O3hYrs0rs1TF3J3bCBJQHFwrB7lNb+1vRje2xd7u+le2xv:/YKrs0rsxt5beAsZlVGvRje2fuAe2p
TLSH	T13A02D81B370487B72ED023A1360EA8DDF32B679F722E9480709DD2496B1B96A47F71D4