| Key | Value |
|---|---|
| FileSize | 4608692 |
| MD5 | BBB25DEA6988E5EA640D2C09B646E7CC |
| 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 | CCF6465F8EAB387C3D4F6844468920D8FE88E36D |
| SHA-256 | 406E8DE430FD4AAEFDA9082BB1959D251BE5ABFBF77F0BE4827CFC3C8E3659EE |
| 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/bin/coqide.opt |
| FileSize | 6691096 |
| MD5 | BBFC6DCBAAB341526B47949AE60254FB |
| SHA-1 | 02F26733E9C8A300BA7954A5BF2E87418FED0E16 |
| SHA-256 | 80DA4B25AF5777A823BF9E5AE827739ADC265344B3F0BD4A030F104E5572ECC5 |
| SSDEEP | 98304:cjJhtgT3BhWaYqGyhJfddpupdq+yuF5rCT2+QEIYeVX+UZTFqroVFYg0TlF1:cjnYQF5rP+QEIYOHZBq0VB071 |
| TLSH | T1CC660909E6C8AD72F01B0F74495F47E28BA86EC406F67317850DA6687A7077153AAFC3 |
| 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/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/bin/coqide.byte |
| FileSize | 7612400 |
| MD5 | 11F5AE614FC93874E7D1573D6D10B63E |
| SHA-1 | 8150B317DF953214CED267E7E71C6DBF8AC7FBAE |
| SHA-256 | 8E3E92B80860897AE39E0DC17EFD19B4191930BCDDB38CF816BD2E86206691E9 |
| SSDEEP | 49152:eN47ZI2O+UlGp5p6HNacU6v76ksS9LhCFQlz/7r/OMHzEeqSqvZPhtJy1mHhTWjC:p7ZI2O+UlGp5pwEcUdqXmBGw |
| TLSH | T15E76540FB7148DB1D4A60AB2CDE787411336EA76AF430A2F289C561C29D3B5F6F44789 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.1.gz |
| FileSize | 1155 |
| MD5 | 8E205F57EA02DA945D88FD3445DA2685 |
| SHA-1 | 88D38BE5642301D5D8CE96F968D6340507C9DE1A |
| SHA-256 | 40633C9656BD5EF74467DBAC7BD0E1E40E3D013364D2F43CC8B8037EB749B519 |
| SSDEEP | 24:XP2sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:XPv4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T12E21C6D877A6D24012EA436B5C749A0B176F0B96EF19CA318373C29AD4BB05748222D0 |
| 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/share/doc/coqide/changelog.Debian.gz |
| FileSize | 3094 |
| MD5 | 233A5584A896FE8DD3FA501D1FD213FC |
| SHA-1 | C33081F85C9B597564B5C7DD4E8361D2C6EBFF63 |
| SHA-256 | 3BECCE8697679B791F611128EF1EEA392A76865976728DCD42DB8193B9AEDEC8 |
| SSDEEP | 48:XHZSDSxa21gSDm7j6884UGOCiaDS7/d7tKVGBscBIshP2/cCIiGTuWfKVwW8Sk:puSxaagSDyUGRcd7tiG/BDictTu5VwlP |
| TLSH | T163514D931801B844ABC02221549993903DADB3D2A7DDB3D1EDEF25C8B89C7559F1C143 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.opt.1.gz |
| FileSize | 1159 |
| MD5 | 6819E440A613CDC6EF3F66D412F5F5D3 |
| SHA-1 | C4E03CF2552AB29A30E4976681F58F81A4925E48 |
| SHA-256 | F50EB4D87E80C67DB44FEA7EF10116CD72B3AC12C7B8A062553A19451963C1EC |
| SSDEEP | 24:XPcIsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:XPy4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T11F21C6D837A2D28016DA43AB5C749A0B076F0B96EF19CA319373C29AD4BB05748222D0 |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.byte.1.gz |
| FileSize | 1160 |
| MD5 | A5611EA1FBFC683D1A2C7C6217B12059 |
| SHA-1 | D323426089E514CD3DE6ACA0406AE0C3050841EF |
| SHA-256 | 90F7C6E95BECDC0CB32C1B3D65D9EA5A411AC7456AFED1636C69449027B56161 |
| SSDEEP | 24:XPkvsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:XPt4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T14221CAD877A2D14012DA435B5C749A07176F0B96DF19CA31C373C19AD4BB05748211D0 |