| Key | Value |
|---|---|
| FileSize | 3662814 |
| MD5 | 65314B144C88D275AC9A701FF5AD1C59 |
| 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.0pl3-2 |
| SHA-1 | 6EFA37D9C87C4446B0B73E8C44077F0916785CD9 |
| SHA-256 | 2075DF912239321DFA3ACF22C43E77A27A29E444266CE40DB3565543AFAFB1EF |
| hashlookup:children-total | 18 |
| hashlookup:trust | 50 |
The searched file hash includes 18 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqide.byte |
| FileSize | 6191626 |
| MD5 | 04514C24069E7DB2622FA77E501803B0 |
| SHA-1 | 02925AACFB74DC51E3615A9318606284B60C3AF4 |
| SHA-256 | C48BC147CDB2CEEC4F23F8DCEA37404BBB11DEE21797BF36AF8A9073357ACD7E |
| SSDEEP | 24576:agyoziIpimSHxbIV3XDKp2dYndJBbXKfYLw/6v8yESxJU+Ut7uy7p:PziNmYbMzYjBbXzw/i8NmURt7/V |
| TLSH | T183560E0BB7004EE1D5E64AB2CE97C3811325EAB5AF03171F398C9A6C39C3B5F6A45758 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coqide/changelog.Debian.gz |
| FileSize | 3227 |
| MD5 | 7179A0EDE96C72CE307A53CAF85CFC62 |
| SHA-1 | 3C33F2824E0906DC6F7B839E17B346B5F1550DC1 |
| SHA-256 | 5B085D501D3FFC0CE450B9157F290E670A651ED801BFC98A464869F97643DE1B |
| SSDEEP | 96:cCp/47mg7LQzr0AvN6c3K9729ETO/kNfQ9PRSU/9ogrHucxQ+TumC:cCpkmKQkAvMc3m729ET/mPcY9o8zxQyI |
| TLSH | T1D3616CB9F47E9FA00F114297D2EE1103791A8F424B1D4700AED85892427FA89725D3B6 |
| Key | Value |
|---|---|
| FileName | ./usr/share/menu/coqide |
| FileSize | 139 |
| MD5 | 412DB1B4ADC4BA97ED63B77C351BC2A5 |
| SHA-1 | 3FB103B0347AC19ADFDE1CC4DA43F6E40ACDE467 |
| SHA-256 | 139CC93BAD2F0FB2E3F2AE1A4A2633AF014E5080768EF37FE95092BF5BE797F3 |
| SSDEEP | 3:2RG0HKL9UaD6WHvINWRITHlUUlDhbQfV1pn:GG0UnD4NWuj7lDc1pn |
| TLSH | T182C09B707135D535DE17AA31311502087294E1D145887F8155B3874097519B057577CA |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coqide/changelog.gz |
| FileSize | 16323 |
| MD5 | A6583C7C81C88FA283E7015CD301F280 |
| SHA-1 | 68999E2895DA2BD279302F0E2E65426FEC3E98CC |
| SHA-256 | 999660A1F7346AEB6216E4B49ABBCB41CC57972DADCA65534B87BB6B55924ED0 |
| SSDEEP | 384:7CenFrUyX12Iz77lTCSDbL6NNJbzp5fOSdCz+rhQy5MKsCj+2O2/:75P2IbleCvU3p5LZQy5MKsCV/ |
| TLSH | T10572C0B81F9D6731D7BBA6FAD2040EEF4F4701AA4E473E0763E5939C887181048D5A5D |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/coq.ico |
| FileSize | 96774 |
| MD5 | 6ECECF60C86A29F7FD89D897A71DF4BF |
| SHA-1 | 69C047D6CBD33A49BF57B0F3ADA5168F03D51B81 |
| SHA-256 | 565C0CDCDE541DE0D1277ECD238078A77007A9B9901C54DB8A6FCAF7E349246F |
| SSDEEP | 1536:5Nosy7/zXA1xGQpYKSWTxkoKkUQXzg0hIaOKt7etJYeklsEmAW9XoQb:5Nosy7/zXA1xGQpYRWTqoKkUQXzg0hIR |
| TLSH | T13A937C1FD001C8084EA0146BF5486AFA98455EBDF57F43BBB438FE8635B29BA114EE70 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqide.opt |
| FileSize | 7688856 |
| MD5 | 5CA3B5267AA2D0103F1DE377E8BE9BEA |
| SHA-1 | 7B3FC440715A6394938C6EF8D21F04EE33312079 |
| SHA-256 | EC3188DDC6B0D6967726AF00CF1AFB1DAA9DA8544E4137223C958FA68AADCE22 |
| SSDEEP | 49152:0+MkG1ZXhYFyhXBzQ3WimjJp1KHbyodZ8n0dSmPv8oSzPW9HbDjNVZgP8KJqy/UP:0+Mk47PYvTs6vVAGe+r+2/Bxs |
| TLSH | T1CD76B497A9C089B6C1BED93986E956337FF1786547B1B3422DD063222F138B90B7D780 |
| Key | Value |
|---|---|
| FileName | ./usr/share/pixmaps/coqide.xpm |
| FileSize | 1496 |
| MD5 | F308D7DB3F0B91CE244F53B096F9DC77 |
| SHA-1 | 959902D881713824B379049AE4C1E59BA9A8DE9E |
| SHA-256 | 3B21EEFE7926914EF98F097FC13F074D1B096FC3C410349E43DD7525FBD973F0 |
| SSDEEP | 12:UGCTIIimIox1u/8GHSv88ga+KA88MoNx5w8woozB83jeNQS1amqebTGR5n9pHviK:j2WmI0D+na+KDpoNx5oNzayI5Rt |
| TLSH | T19E31216B420183D77522D28B6F65B3E9C04C61FE98E6C4012CA931C72A144DF2E90FCB |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.1.gz |
| FileSize | 1155 |
| MD5 | BED257E2668FA111DD084F0AE66A3426 |
| SHA-1 | 96B09E61B9AF130D29B5440E741D7E2551F0F2DD |
| SHA-256 | B31A940CBDEDAD53174CD3DB6CC494FF59074117939BB47BA7BA9C79E77BA4C0 |
| SSDEEP | 24:X8l2sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:X8lv4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T10021C6D877A7D24012DB436B9C759A0B076F0B96EF19CA309373C19AD4EB05749222D1 |
| 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/man/man1/coqide.byte.1.gz |
| FileSize | 1160 |
| MD5 | E9992DDEF6A5D97F5950B298D78A1E04 |
| SHA-1 | B5D49B1B4A123D667D81F502BC836F52B142268D |
| SHA-256 | 99A82C5F5B2F5B7040A0E16F7DA29330778C6504FEFA1FC275AAAD3C83F765B4 |
| SSDEEP | 24:X8lkvsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:X8lt4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T15521C6D877A3D24012DB436B9C759A0B076F0B96EF29CA30D3B3C19AD4EB05749222D1 |