Result for 57E67381F6AC3D8461CA6F39DD4303ADB6891340

Query result

Key	Value
FileSize	797340
MD5	A75119AA2590AFF8C9ABDF3B4149A1D8
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.4pl4dfsg-1
SHA-1	57E67381F6AC3D8461CA6F39DD4303ADB6891340
SHA-256	8E18FFCFF3429673A72E457073CC2E031BE53B2A961015D98A1554EDA81AAB2D
hashlookup:children-total	12
hashlookup:trust	50

Network graph view

Children (Total: 12)

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

Key	Value
FileName	./usr/bin/coqide.opt
FileSize	3606912
MD5	95B9B51FAC3BD7022E48829A1F1A56FD
SHA-1	FB9CC46110BD9E6A609307064D2902A97555B323
SHA-256	659455809844EEE84737D45C029B0EEF567C6E5155361FD7BCDD9218F4A8B83C
SSDEEP	49152:m0a7RUcgX1ZMz79yVWZh5DzYt0Xx9yY4W5c9TWOCiXG+szNFDxJjzR8fyUVGFdEc:m0ajKW5/zdYMVkYT7zIUS
TLSH	T18CF51957A582C9BEC7BAD63BC6A5A632BA603C504761770725C0B3312F3387A4F6E750

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	share/coq/coq.png
FileSize	6269
MD5	ABDE6D74070949C17ADBB7BAE2CF6C89
SHA-1	195DFB6AE1F3B10A67595574D2F5C1FE7F2553D6
SHA-256	C76ACCE31B2233E4C38F5E06F9AA3FADFE692DABF46F1E9C8EFEDD8E43460F70
SSDEEP	192:Pv3xBRLaO6DyiFZDGB08/3HQNanBJBVRDPtPh4I71E:PvfRZi7Kh/3nn/fdPtyN
TLSH	T1D3D18CCC6DE015381766D6E8B3ACD2738DA7F51056ED846E359020922722BF8DE4A7A3
tar:gname	wheel
tar:uname	root

Key	Value
FileName	./usr/share/doc/coqide/FAQ-CoqIde
FileSize	3020
MD5	B9CA883E4741DA4F91CDECC70B05F16C
SHA-1	939B183310F65DD22B410CEC7F7D4EDA3CFA520A
SHA-256	A82DC627510FEA3F72434AC23A55C3137D64049A65E0C6FF26058F010F2AF21A
SSDEEP	48:v/c87QlVfRszUCG07lIu1YdM+TX33gzE+cEgkrL7oReg9jpjJXQURs0j+qRhm83N:v0TVpsbGrqYMi0O8rqxRsg3Wi
TLSH	T10751C866528313712D924131222DC8E2673EDDBD533299C61C2D869C0248B6063BFFEB
tar:gname	wheel
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	7377
MD5	026445BC59D4E1FC544FF2DE97198FF3
SHA-1	2F1E4F53BF9C9064A24D729D1C1D2F3D5536E867
SHA-256	7C077896CF1458B0EFE43A0FD75F93BE1BEFD23F6073904C6F25ED2707FFC2BB
SSDEEP	192:s+sUEZi5YicmrYb0EQzKmObmaiPJNTNb1m+5H3kAvj:dvcIYYETmxk+pkAvj
TLSH	T194E1AE26F4CA1D79B79CFF09AAC90F67C589586148749289AC948C36EDC1845148E937

Key	Value
FileName	./etc/xdg/coq/coqide-gtk2rc
FileSize	903
MD5	7649CCD45480116CA9A571446EAF225F
SHA-1	6F76214BBACE58CB132E48F3AD5E88B1A35ADF72
SHA-256	858A32ED7281E80494E3B0B46F2838D949499669BB5DFCE6F236F20A2657AB50
SSDEEP	24:zIth+Opk9Uy9T9zQkcvhEjSEz9IWcGbnzr4b6:0Z2zQkcJEjSERssn4G
TLSH	T1CA111023761EA86211631D101ACA508FFBB9F1FC4302B80C4723E628A26AF9D41F9789
tar:gname	wheel
tar:uname	root

Key	Value
FileName	./usr/share/doc/libcoq-ocaml/copyright
FileSize	790
MD5	0B6D9C30D89980B61EDCA15A5A7C942F
SHA-1	AE8BD2758A1D97B7F1E2BEECBA2479CEDF6F8DE1
SHA-256	CCD76BEAA5E213203DD824BEF83EDA41695DB6F4794F2B9F776470EF4EA477EE
SSDEEP	12:mpj8Jq4KUx0KKwXN1QXpMSuMgxgg6fU4xa2FJp/AhFxxPg:g0tx2wd1QZBuh+TOnxPg
TLSH	T1D301BDD5EED89BA97A90E862E9605C82471F2D5231D5E0E2B45CD1106B0955534C027A

Key	Value
FileName	./usr/share/doc/libcoq-ocaml/changelog.gz
FileSize	43516
MD5	C7C886792E85490666EE624EE4BF1BC9
SHA-1	EFE508C9C7B86AC10C418E9F04606C8798E8690C
SHA-256	BBDDD18958DAC963B7650B5C279D996E2B2775823197A40BE0C2DA2F69101913
SSDEEP	768:lSi3N4/Cosb0XHQ/BPF+cDmlT5qNlKKsI0iAfk2OcQTz8tuFTi9F3a7:cidwseQ/JFFNl7b0NFQTifq7
TLSH	T15B13F28BB6C8684221C5359971DE6752CBD4577C2F5633B6BDF272CE09C13A48B0EB08

Key	Value
FileName	./usr/share/menu/coqide
FileSize	162
MD5	F2431091B7741BE124B0C9D0DD306EDB
RDS:package_id	182052
SHA-1	D420E1139F84D5C89C7938CB2D428008DEA26086
SHA-256	E966CE35D8539A6990FFD46D905F7762DD23D36783D0C3DB6CA04E47B7D028C1
SSDEEP	3:2RG0HKL9UaD6WHvINWRITHlUUlDhbQfVwGERMQWYHgq3gHv:GG0UnD4NWuj7lDcwGdh/Hv
TLSH	T19DC08CB0B12492758F23EA72B22002087292F0914888AAA0A8B2860097014B01317B9E
insert-timestamp	1679425506.2691462
source	RDS.db

Key	Value
FileName	./usr/share/man/man1/coqide.1.gz
FileSize	1126
MD5	08EF3E267D777B9137C06A0BC757325E
SHA-1	16D80DEEFF2CE63880914516EB14B4AF4C3AAB66
SHA-256	2FFCC8EB99BE7EDAD36F1FE43274CA63EE6340A846CCD51C847251D03FB1783F
SSDEEP	24:XH4BZnqy5xamdWh60v0oitIPJIUik8JfUZQP7bVkofLy0xrBnzKn:XH4BZfxZWhwoiWPtiDJfrDbOozlB+n
TLSH	T18721F98AC0402AE0BE31DFA56A0B4A23281EC6477F45B6EEDA0D1332594E189841DBE9

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