| Key | Value |
|---|---|
| FileSize | 4379996 |
| MD5 | ECFAB12AE5A085BA9662F6D086D0D945 |
| 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 | 29D8225898A757BA58BA4EC8A02A5DDC9AC422E3 |
| SHA-256 | 6AF2D74BEDC5A2058AA7A03553C159EAE401728037901C625824F02CEE6B6617 |
| 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/man/man1/coqide.opt.1.gz |
| FileSize | 1159 |
| MD5 | 30C0BF4AB3AE5A8FEB500A915F0FEEE1 |
| SHA-1 | 02B080AC9DF1CBA8A8377CA1A21A1A80FE23B626 |
| SHA-256 | C4DAD61B995158D756360D85D0B369BFEA1E3C7D973742972782CD6AAADA5309 |
| SSDEEP | 24:XvcIsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xvy4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T1FD21C6D877A2D28016DA43AB9C749B0B076F0B96EF1ACA309373C1DAD4BB05748222D0 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqide.byte |
| FileSize | 7770651 |
| MD5 | 3727D0B83784CB5E8C7372D0AD0F4688 |
| SHA-1 | 3C0308AE22F4662BE7F3450CF71468788C02F268 |
| SHA-256 | 025F900CB65D4B5F3960E0B822DD9B678680D407635BC9510FE015E48D68B9AD |
| SSDEEP | 49152:fdAN2fTNyJUGYJwjXOq3mq4acUJb7VgsS9LhCFQlz/7r/OMHzEeqSqvZPhtJy1m2:fdAN2fx7GYJwjXOq3VLcU/GXmBGN |
| TLSH | T1D876530FB7109DB1D4E60AB2CEE786451336E676AF030B2F299C561C2983B5F6F44789 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coqide/changelog.Debian.gz |
| FileSize | 3094 |
| MD5 | C4BF0C94F973495E1575D25D06BBA668 |
| SHA-1 | 43A787C0D5F9DE11B38C5DC2D5F0A5DE7257382B |
| SHA-256 | EAEE9E4DEC1610DFE929C09939832B9DE8E409043B198706554AF151BE3532BC |
| SSDEEP | 48:XEZSDSxa21gSDm7j6884UGOCiaDS7/d7tKVGBscBIshP2/cCIiGTuWfKVwW8Sk:MuSxaagSDyUGRcd7tiG/BDictTu5VwlP |
| TLSH | T12A514CD32801B844ABC022215499A7A03DADB3D2A7DDB3D2EDEF26C8BC9C7559F1C143 |
| 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/share/man/man1/coqide.1.gz |
| FileSize | 1155 |
| MD5 | 47D3C891528596AE5027DEE4F75865D0 |
| SHA-1 | 55CCCC30E517FBA7D5DF78F632AB3203530E8E2C |
| SHA-256 | 7299C0279767B12CFECFD29815454024BC37D9590C9F2739A1EAEF53850DDF0C |
| SSDEEP | 24:Xv2sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xvv4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T15021C6D877A6D24012DA436B9C749A0B176F0B96EF1ACA308373C1DAD4AB05748222D0 |
| 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/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 | 7676992 |
| MD5 | 0B8F0B921A22300ED5226FF6023E3618 |
| SHA-1 | C742AC34ED81CFC9FC4927EF87F9369BECB4C489 |
| SHA-256 | 1661AB942FF5589D55483FE5BDD5E10F029D558B1C3D42FDF131B8F5A47653F1 |
| SSDEEP | 49152:Wv1IdAXxjlJAPck6eBz/Yql96R2Qn+/klZfMH0HGOK+fA+wEcGTj9uC0MWIfe10:M1Id/8cIGj+BwEcGTj9uCY0 |
| TLSH | T1F876B597A9C089B6C1BED93986E91633BFF1786547B1B3412DD063262F138B90B7D780 |
| 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/doc/coqide/copyright |
| FileSize | 1949 |
| MD5 | 3FA0A5A0264C45AA160D7861B907FBC8 |
| SHA-1 | D48A1DE90F439523E904F7DEA0AD5A58D7D42102 |
| SHA-256 | 41CD6974223ADE517F99AED2957EC6C5725AEF9D69051BF03D5F26363FF845A2 |
| SSDEEP | 48:FA8XqCiCjpRemziNC8sIT2kLmpGQaVffNPFcthQmavVT:FAGqZCj5wqk6NO9cttiT |
| TLSH | T1CC41A617EB5CA3324AA204C175059AC5E75F6B7B11546180F47C650D6BC2D3472F73CE |