| Key | Value |
|---|---|
| FileSize | 1397762 |
| MD5 | 69283BC2DFA56B377DDD65DCB5DA66A6 |
| 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 | 77C78738BC1619B3F5774EF4C4170925AC3B9F6F |
| SHA-256 | A1461FE60200CB0166B5D48937EB78C7C57520AAB49B6E83FAEDBC66A0818D95 |
| 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.1.gz |
| FileSize | 1155 |
| MD5 | B2E799DE009B43EB91C5D6062F87E203 |
| SHA-1 | 26D4CE6F18ADFABC63A315A60DFB54883AB95C13 |
| SHA-256 | ADEA32D53396FF1B0B4012F5FEA951F3E667FE9855008FAB87700D56C8EA9E65 |
| SSDEEP | 24:XgU2sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xrv4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T19A21C6D877E6D24012DA43AF9C74AA0B076F0B96EF19CA308373D19AD4FB05748222D0 |
| 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/share/doc/coqide/changelog.Debian.gz |
| FileSize | 3227 |
| MD5 | 29D391937F11FC4123F50AA45B64C20D |
| SHA-1 | 825F165D378C8BA37F1C6710CF2D679FE029F515 |
| SHA-256 | 46703262576B3DBEF96B670EB1DBA87F25095EEB299EB6E9BD18CCFE6F62A75E |
| SSDEEP | 96:YCp/47mg7LQzr0AvN6c3K9729ETO/kNfQ9PRSU/9ogrHucxQ+TumC:YCpkmKQkAvMc3m729ET/mPcY9o8zxQyI |
| TLSH | T1DE616DB9F47D9FA00F154297D1ED1103791A8F424B1D4700AED85892427FA45725D7F5 |
| 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/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 | 1F511232BFA781205070AC311CB69B92 |
| SHA-1 | D254C06E2134D24642AE7A06A96D52AD98E52D53 |
| SHA-256 | F5BEC72A7CECC43E18168FAFB71C225CFF53541EA6CD21F948D8E53BE2C89777 |
| SSDEEP | 24:XgUkvsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xrt4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T1FD21A7D877A6914012DA435E5C649A07066B0B96DB19CA308373D19AD4AB05748111D0 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coqide/copyright |
| FileSize | 1949 |
| MD5 | 3FA0A5A0264C45AA160D7861B907FBC8 |
| SHA-1 | D48A1DE90F439523E904F7DEA0AD5A58D7D42102 |
| SHA-256 | 41CD6974223ADE517F99AED2957EC6C5725AEF9D69051BF03D5F26363FF845A2 |
| SSDEEP | 48:FA8XqCiCjpRemziNC8sIT2kLmpGQaVffNPFcthQmavVT:FAGqZCj5wqk6NO9cttiT |
| TLSH | T1CC41A617EB5CA3324AA204C175059AC5E75F6B7B11546180F47C650D6BC2D3472F73CE |