Result for 882EA44132EE796118073191893A28A061C0F105

Query result

Key	Value
FileSize	1743216
MD5	7E5E722660BCF279B36ADCDF8BA61F66
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.9.1-5+b1
SHA-1	882EA44132EE796118073191893A28A061C0F105
SHA-256	D391BB031263C9CB4A0251135AD056387F524DA75AE5F1D49BCD5DED9096604E
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	980
MD5	23C5AB3EAF293D4D7FEEE0074A60B39F
SHA-1	5552E6B1A7F7310FC42E70A11AE59D46CCEE37A5
SHA-256	A6E44CAE31E71319B569CA95CB6CFA94082FE5285B31CC55CA415DC21F27A784
SSDEEP	24:XXHgURMKdKOWjggIoiFqmfbt495vqWVTgF9eKAcNv4M2U9IlnBxOBX3l:XXHgUSuhJpoi4ot05pVTgF9eKxv4M2Uv
TLSH	T16611CC40B7801495F85A27A4F47F396E50B85C4C533484507F8CDE9E855117CB4ECE9F

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	share/coq/coq-ssreflect.lang
FileSize	9695
MD5	8CA826ECF958DBD48F6CD6ADE3884E45
SHA-1	DB2AEFF61DA7125E7CE13C442206992C3742CFD3
SHA-256	D9EAEBCA8C74FC84316A7EA967DEFC21C337045ACF02D814B1882980D9AA5134
SSDEEP	192:H3VZZAvqJwJVKb8kBTSRovuPt+KWkr+4h8R3:H3VZZzOVKbXZSRovU+4h0
TLSH	T13512687895FB8E11FC46C89173D4F5067A72F1E35224586E72CE0A5CFBC5A9A00CF296
tar:gname	bin
tar:uname	root

Key	Value
FileName	./usr/share/doc/coq/CHANGES.md.gz
FileSize	67835
MD5	314CB61F8D710BCEB1630C5C331A9152
SHA-1	8CFA0528D00C310248CAB4FD2BEB90AD9E4339C3
SHA-256	E54E667646460FF458AD08BF9CD45A7E50E371744392F7B873C6E47FD5355FEE
SSDEEP	1536:tKR5aja1GpJmJHq55c8i3gU5aNTJSPS9YZ3:t7T6czU5aNe
TLSH	T15263027DF08F997054E1E6555B26FE9E1441A9168AAF1F6FE0632D7AB98000301CFFD8

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/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/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/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.gz
FileSize	8843
MD5	3D5659A9AE089B2C3852A3DF44E8B516
SHA-1	18B75666B54F972AD13DA7E55B2455EA7A50389D
SHA-256	D46D2A2B73A1E5B8E046C951AA86A93EDAC4609E7F9C57938706AB79B5BEBF00
SSDEEP	192:FcP0sF8K9a683088KnlbbZWwCphHO4jlMKGz/VY4bl3g3D6iK9J4c:DsL9m3Dd5gvhpjAzeuQ3D6iK9Sc
TLSH	T1AC02AFE4A932756C7662CC4FF4D9FD7565883308210EF81960E651B9632D1D2BE68D02

Key	Value
FileName	./usr/share/doc/libcoq-ocaml/changelog.Debian.armhf.gz
FileSize	217
MD5	85ABD7B0B94D17F450DC276006B58A59
SHA-1	7BE5C7303505B05417764AC8941818B34EDE5299
SHA-256	9FD9D2DA94CE90AAFD9281C462954FD2948DE758989669383E66C682FDEE8B3F
SSDEEP	6:XtLhFGroFlgvxFHNyC1pLQcwsa9WwOyWbziWfn:XJhFdDUxJz/a9ROpbuWfn
TLSH	T181D022693679DCEAD1CC2E33CE68283EE1BF3205346A86845280AB6A156DE0409CF07C

Key	Value
FileName	./usr/share/doc/libcoq-ocaml/copyright
FileSize	7259
MD5	0A5B15323D3AB3E19E6E8C4A259E42F2
SHA-1	6AC7C9301B09FA41CCD750FDB69DF0EB11DEA746
SHA-256	3B68F22301BA7779A6B0AF446E32EE2A8FA8A30CDA98F224F2D7BCEEE9E2301D
SSDEEP	192:lPp5U/nlp+QHFwrB7lNb+1vRje2xd7u+le2xv:lPpiNp+AsZlVGvRje2fuAe2p
TLSH	T177E1D81A3711877729D023B23A0DB4EEF32B2BCB721D5491B08CD1096B0B96917F72E8

Key	Value
FileName	./usr/bin/coqide
FileSize	6161284
MD5	3B94E492A060195EE4EA9D3BD731DCF2
SHA-1	AAA3C3E28803EA0686AEDB85B39ABFD216F1BAED
SHA-256	6087B51E335896AD9338A5808D9524FAC5B0B83E87057FD789F5A7FD1C45B6F6
SSDEEP	98304:FtZvzzTlWJQGNrUSfHZomzsOsbtRfWF4bqR3:FtZDiQaQSRtobjOeo
TLSH	T1DC562B23FB0E396EC9A6F975B0BB6702D108F14876D146572F0A36241FC91E4867BDCA

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