| Key | Value |
|---|---|
| FileSize | 4155076 |
| MD5 | 10BBAB9FC701F571E19DE58C465D899D |
| 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 Camlp4. For more information, see <http://coq.inria.fr/>. . 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.0pl2-4 |
| SHA-1 | 24DC2DBCBD57B5051728680403A77A4E51657EC8 |
| SHA-256 | 25FB26402BFEBA132AB903562D185BF5A7AE6B5CB81E33412EB5208103804F1A |
| hashlookup:children-total | 16 |
| hashlookup:trust | 50 |
The searched file hash includes 16 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coqide/changelog.Debian.gz |
| FileSize | 3094 |
| MD5 | A3A924A90613EC6EB4DBDD4A9C233BE1 |
| SHA-1 | 0C9A2B0A398F4E1B02B8C71016FA04B2E422CDF8 |
| SHA-256 | 3BEF3A6C31006E0B2DF1C696A902A9D6C4CC9F45819623572B39BCC79CE6AF8D |
| SSDEEP | 48:XcZSDSxa21gSDm7j6884UGOCiaDS7/d7tKVGBscBIshP2/cCIiGTuWfKVwW8Sk:kuSxaagSDyUGRcd7tiG/BDictTu5VwlP |
| TLSH | T1FD514D931801B844ABC02221549993903DADB3D2A7DDB3D1EDFF25C8B89C7559F1C143 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.1.gz |
| FileSize | 1155 |
| MD5 | 895C682FBF4B8976DB0841D2A6D47B46 |
| SHA-1 | 3D66CEC4D2750351937875C899ACCC504C601FFD |
| SHA-256 | D9C1169F6C6D1D857EEA447C0166C99D03CE1FB342D16D36685B00545171E0B2 |
| SSDEEP | 24:X2n2sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:X2nv4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T1E121C6D877A6D24012DA436B5C749A0B176F0B96EF19CA318373D19AD4AB05748222D1 |
| Key | Value |
|---|---|
| FileName | ./usr/share/menu/coqide |
| FileSize | 136 |
| MD5 | BD3525C921DF2AD8EEA061D7D25A8C6A |
| SHA-1 | 549190466F50F1D04735E8BCB582E883FE9DE83F |
| SHA-256 | 4487DA6A2C0934C76EA53B139353E59304093BA86958005B60F994D6861DF771 |
| SSDEEP | 3:2RG0HKL9UaD6WHvINWpVIHlUUlDhbQfV1pn:GG0UnD4NWg7lDc1pn |
| TLSH | T170C09B707234D535CD276A3131150208B254E1D145846F8155B3874097515B057577DA |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqide.byte |
| FileSize | 7587921 |
| MD5 | B92D0473DAE9988F68EB7F70E9578544 |
| SHA-1 | 5F7E1E3EA8E427DCDA8B1530ACFEEF2771C0C98B |
| SHA-256 | DAB62698DDB633596C27E80F37FF7D8646B5142F8EAA635659E035BD90A4C56F |
| SSDEEP | 49152:ttZe27c0Xrzm4ESmlRlh1q+NacUtu7QysS9LhCFQlz/7r/OMHzEeqSqvZPhtJy1m:ttZe2gAzm4ENlRlh15EcUnUXmBGE |
| TLSH | T17776430FA7108DB1D4E60AB2CDE787451336E676AF030B2F299C5A1C6983B5F6F44789 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/coq.png |
| FileSize | 9103 |
| MD5 | 82A2A753694C4E75E1150602956C9328 |
| SHA-1 | 65A8A0D6DB0D845F53DBF6231433F2DF1FE3BBB3 |
| SHA-256 | 136872888F056C596CFCE453760886808E3721E2DD40C1EC087C4E15538DBE78 |
| SSDEEP | 192:6tpSwnGfuL5Se/MQDbAHWecxCnl5e9oqo/Gm8l6/eohTN:6tpSjbQDbAHWBilkdO66mohN |
| TLSH | T17212BFA10F1E347C62F2A9F86575ECBE0185B07C479D8BF2863200B45196C0546F8F37 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.opt.1.gz |
| FileSize | 1159 |
| MD5 | 42A555C4648A1A3DF9B7597E8CC5D832 |
| SHA-1 | 6E41347DC5CF771BB928B18F759E4710C0D28F54 |
| SHA-256 | 05C8C6E1B9C5D0D51D22AB704F663B03855C1F498A70BB432D17D758714DD0E0 |
| SSDEEP | 24:X2ncIsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:X2ny4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T12821C6D837A6D28016DA43AB5C749B0B076F0B96EF19CA319373D19AD4BB05748222D1 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.byte.1.gz |
| FileSize | 1160 |
| MD5 | 0D57E7D59624B0EF169C2BBE9E3BE301 |
| SHA-1 | 823EA3D0E0CC5DF847505B50965594B1C0894E06 |
| SHA-256 | B2F4EB5C4AAE84B93A2A1772D2CD1347854E88B13191F434CC6D7B451CA56F5B |
| SSDEEP | 24:X2nkvsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:X2nt4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T12021C6D877A6D24012DA436B5C749B0B176F0B96EF29CA31C3B3D19AD4AB05748222D1 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/.coqide-gtk2rc |
| FileSize | 1127 |
| MD5 | F021F0439AC62032D7293B706574892F |
| SHA-1 | A11413023552E0B82055A669D9B799686B537AAF |
| SHA-256 | D4C8ECF6EA31B05AC027E1EACC5C28149BFFF30BF7A15CCC8E834612B25FD5F0 |
| SSDEEP | 24:z8Vth+Opk9Uy9T9zQkcvhEjSEz9sJMzLEIPWcGbnzr4b6:4T2zQkcJEjSERFzLEAsn4G |
| TLSH | T109211417652A6C5311370D1009CA91CAFBD5D2E88301A94C4773E63DB25DFAA05BD688 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqide.opt |
| FileSize | 6058536 |
| MD5 | 548CD9B1FDF78CDE090DCA1D01619BF4 |
| SHA-1 | C342937E4104F1904FAE92EEC1FF2CF9305CB385 |
| SHA-256 | 6E4A78F5E5A358BECA22C9F30E0ED5A6A7C9505D3A48F8D101B8F512C1297362 |
| SSDEEP | 98304:r1w2sKWCr90M03PBYNbl/6sUpm6JfZt8T:r1YmJ8PAJ6sUpm6G |
| TLSH | T18256D981EB460878C2BA5BB4D6FF57FB5FB00A910950D735C178A4A47E932B32319ADC |
| Key | Value |
|---|---|
| FileName | ./usr/share/applications/coqide.desktop |
| FileSize | 213 |
| MD5 | 4EDC899CC3BF8C34E1F5C2517ADFEFEB |
| SHA-1 | CEBBA0504AD2BE26703557B78AC4F5480DD6D01A |
| SHA-256 | AFF9ED054250DBBAF528A49F2C76DA4D4FFA6D5F3C0E019DAE92E69303021FDB |
| SSDEEP | 3:agQM2dxA9pGiwAsDEUQoo/LDlsQWX9U2xWoERMQ7RATiDhUHDaKQWa/vINWpVSn:agQM8AjSLEtJ/LDlsQQVxWocDSmf4NWu |
| TLSH | T16FD02396F416013D455C3471DD5AD5D65BD9047804B7755CDC3410214100E96F49DDF4 |