| Key | Value |
|---|---|
| FileSize | 5209486 |
| MD5 | F6CE0E4E19B7BB7B1D11971C770D6255 |
| 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.1+dfsg-6 |
| SHA-1 | FDBA9B94F0A26D2013612BF9F38390F25B3FFE69 |
| SHA-256 | 6E51ADCC3D997921209A68986B5632B236DEEF00852564DFD794AAF5B92A6770 |
| hashlookup:children-total | 17 |
| hashlookup:trust | 50 |
The searched file hash includes 17 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqide.opt |
| FileSize | 7508916 |
| MD5 | 4D5117FB4A38E393B28093918E8228AD |
| SHA-1 | 07174866F5A70BEBFA0C5AC505DDC0235C7A8287 |
| SHA-256 | D4413E6CD6D682C7678DE91F0BAB13CF231346164C1D5DFB2AEE256E948BF51F |
| SSDEEP | 196608:NEsZT2weVlo/MhbyJmUZFknDQMV22IxtXqv3428ZmqWeKImA:NEYT2a/KoZ2xA |
| TLSH | T132761B09E2D8AD75F01B1B7448AF43E38B686EC447F57227850DA6287A7077153AAFC3 |
| Key | Value |
|---|---|
| FileName | ./usr/share/applications/coqide.desktop |
| FileSize | 225 |
| MD5 | 4E4BB9057B63270A9887D040B4D9303E |
| SHA-1 | 2AE0699F9CB87A4F48C456B6AD464337A6D1AEE2 |
| SHA-256 | 116D918F25C4372AD650A89CD51BDC8996C43F784E509A34CDD7110B7CDED82B |
| SSDEEP | 6:agQM8lF3DJWBylLEtJ/LDlse2xWocFVzYiu7bD1Y2:rKlF3utJP2ewcFVzFwD1Y2 |
| TLSH | T19BD0A7A6A442012996A83022CD5A89D61EAB052C04B75178D93800614101AC7F58EEA9 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coqide/changelog.gz |
| FileSize | 19686 |
| MD5 | 6F44197376B04CDD14FA37920E171A01 |
| SHA-1 | 2D7F55D9C2AFC3E051E87F871C43D4C7D8D5BE8C |
| SHA-256 | 87041121649BD2391642634D93A4BB9923503187F17ED62F56C71D9E0492CA04 |
| SSDEEP | 384:XZQCi2/9wp1ocwjaXU0pn75sfGSuA7umcN42bM96qQ/s8DZW:XZQ/e+p1HwbU75sfnOmggQbDZW |
| TLSH | T17D92E195D05BE29A7D0891DA89604394C0582E8CDDEE94EF20CCA8D90C379DD4D27C5F |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqide.byte |
| FileSize | 8371690 |
| MD5 | 605A15448CBFF500F27D607AEBCA79A7 |
| SHA-1 | 2E04A22174672868A550C73A037D660A54F42D5D |
| SHA-256 | E5666981C05A8638B30EB73DD9F25EECBE9EF4B75C732004DCC9BF4CB0895001 |
| SSDEEP | 196608:1oLk+sr3DtUSNNR1K7Ag4e8yXeUNA4vCQs6P:1ow+sr3DtUZs+ |
| TLSH | T1B186640FB7109DB1D0A60AB6C9E783811335D6769F430B2F289D9A6C29C3B5F6F44789 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coqide/copyright |
| FileSize | 1958 |
| MD5 | A13A2E0102010E581DE099F43972EADB |
| SHA-1 | 37ADB099BFB6B10E1B5DC8FAA33D731368C458C6 |
| SHA-256 | BEF0DB6CCCA033C02780A22C74468DEFC27422A03FE208987C3E3E65ADF12F40 |
| SSDEEP | 48:FA8XqCiCjIejziNC8sIT2kLmpGQaZzeP3cthQmavVT:FAGqZCjvwqk6NzvcttiT |
| TLSH | T18941C626DB5CA3311AE204C16106DAC5E76F6B7B1294A190F07C650DAFC2D3462F73CE |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.1.gz |
| FileSize | 1155 |
| MD5 | D32F59191AEE53FDB770F3D38CDA45AE |
| SHA-1 | 40F39033CB302C12527CF2A5A39A344DEAFF55D9 |
| SHA-256 | BFBCBA43F0BF033262FE4613B1AC985EFFCEF8B65CBA47A002F6954577D7DC2F |
| SSDEEP | 24:XCb2sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xov4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T1A521C6D877A6D24012DA436B5C749A0B076F0B96EF1ACA308373C19AD4AB05748222D1 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.opt.1.gz |
| FileSize | 1159 |
| MD5 | AE716D3C1CE3D9F8EC6E7904686586AE |
| SHA-1 | 6DA00A202A6AB8E0C6C6A4FD360FD34595F40AD3 |
| SHA-256 | 804C43E08492355416B185CC831B07BA28BCAE3622E40D3EE4255E5FC4A1B4BA |
| SSDEEP | 24:XCbcIsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xoy4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T1DD21C6D837A2D28016DA43AB5C749B0B076F0B96EF1ACA309373C19AD4BB05748222D1 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coqide/changelog.Debian.gz |
| FileSize | 4396 |
| MD5 | 98EFA23E3759318ABF75653B1DA2CBE1 |
| SHA-1 | 76A9D21C64134E70909AB4F6B685758B4308292E |
| SHA-256 | 3EA2E2D7FC4EBDBB5A54779822663112B1A2F2D883738350B348E6378051F06D |
| SSDEEP | 96:uVkk8x17o9GuWPx5G9+mX7jqNL8Z32Nul+EDj6XM0KzitcGXO+:WkkA17o9uPg+L8JYEDj6XM0GocG++ |
| TLSH | T17A917C3673679E820AE0AD3924E617AD1F35D9CC380008C0B6581ECF23281FA1DA8C7C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/coq.png |
| FileSize | 9101 |
| MD5 | 732A6D60BA0555D2F35A9A0321DB522B |
| SHA-1 | 93F133E896408DB926A27CCC63E54ECC1B80D68F |
| SHA-256 | B68D530CDD67A4AEE5C3A5534D9AB20D0AB787A2448C1FF748131F3F97084045 |
| SSDEEP | 192:YtpSBVfuL5AeIMQDgA2+3cxCG5y5T9otl0GA5M6/gohTN:YtpS7IQDgA2+sr5ytaaS6oohN |
| TLSH | T1F112BEA10F1E307D62F2E9F865B9ECAE0186B13C47AD8BE68772107441568094AF8F37 |
| 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 |