| Key | Value |
|---|---|
| FileSize | 1411456 |
| MD5 | 57E23E027468AB5C16D0119FB0DAA66D |
| 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 | Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com> |
| PackageName | coqide |
| PackageSection | math |
| PackageVersion | 8.0pl3-2ubuntu1 |
| SHA-1 | 8C51FAA9BBA574EC446A999DD4E4FAE9985B332D |
| SHA-256 | F14E6C9C52BDF9C359E18DEEB2E57F59FFA5A4A04E3B57F31DCFA30450302FA0 |
| 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/applications/coqide.desktop |
| FileSize | 239 |
| MD5 | 095EA9250C4F01922C942CC89C0415E2 |
| SHA-1 | 08DA6BD693D41D056EBD56B72FC3430F443DCABA |
| SHA-256 | 1C70CAA52BD933466A5E2531C5885ABB58177A4667E22AF05A861190928197F1 |
| SSDEEP | 6:agQM8AwnWBylLEtJ/LDlsQQVxWocDYSsAjmf4NWu:rKdktJP2L1c0Shj84NZ |
| TLSH | T19CD09796F452013D8ABD34668C8AC9C20B9A047800B7B478C83820304000AD2F48EDF8 |
| 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.Debian.gz |
| FileSize | 3334 |
| MD5 | DA7521EFCD1A71066072D65E30647BCD |
| SHA-1 | 4B7E764BFA1A7BCA04ADB80143BBD10C3C2BBDBB |
| SHA-256 | DE162513C157F0956EBD6DD4B6BCBD500863305BA8EDAD961A9E5534C306402D |
| SSDEEP | 96:ImhzVTkTBZVDzuKIhYngFy2RM925uLcgvMJq6uX:nTABPzuKIjFZ29MuItg1X |
| TLSH | T18C614EF0FBC76AE05CC01CF849A7338856457DE54D11C8EBAD598AFA9B71B014187A23 |
| 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/share/man/man1/coqide.byte.1.gz |
| FileSize | 1160 |
| MD5 | 2ED43A8F009BCF7AC28E887B7197781A |
| SHA-1 | 72B9E8B19A42A82058B85B18C78992FB0FBBB2A7 |
| SHA-256 | 9E9BBEF568226B3B02547FD68E818157C5FCB9E9C0DE7B8699F24735B83E64AB |
| SSDEEP | 24:X8kvsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:X8t4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T11C21CAD877A2D14012DA435B5C749B07176F0B96DF1DCA30C373C19AD4AB05748211D1 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.1.gz |
| FileSize | 1155 |
| MD5 | 229D51DCCCAD98F61587300F1979C6B7 |
| SHA-1 | 76FDF463B38A88273C4F3E48A0D9ECEFAA27C80F |
| SHA-256 | E39A320582071927C3EF8E2BD2FB3AC54BAA1FA11B57B87E0D19EC485517BC2A |
| SSDEEP | 24:X82sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:X8v4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T17821C6D877A6D24012DA43AB5C749A0B176F0BAAEF1DCA308373C19AD4AB05748222D1 |
| 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/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/copyright |
| FileSize | 1949 |
| MD5 | 3FA0A5A0264C45AA160D7861B907FBC8 |
| SHA-1 | D48A1DE90F439523E904F7DEA0AD5A58D7D42102 |
| SHA-256 | 41CD6974223ADE517F99AED2957EC6C5725AEF9D69051BF03D5F26363FF845A2 |
| SSDEEP | 48:FA8XqCiCjpRemziNC8sIT2kLmpGQaVffNPFcthQmavVT:FAGqZCj5wqk6NO9cttiT |
| TLSH | T1CC41A617EB5CA3324AA204C175059AC5E75F6B7B11546180F47C650D6BC2D3472F73CE |