| Key | Value |
|---|---|
| FileSize | 4914706 |
| MD5 | B6795D306BCC8BB93C185F5B368C4DA5 |
| 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 | BD2D17E776E833D956AB9421DF54C5B56606D075 |
| SHA-256 | A517A162B0C1437FE7DA656BC2DB7D11880FBD3B4DF12DA2C24A8B1E7CA3E7F5 |
| 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/share/man/man1/coqide.1.gz |
| FileSize | 1155 |
| MD5 | AB8C6F54615DC9EF50908026B9D11446 |
| SHA-1 | 12451448F58569F7EEE4D1819A1A409332E47E19 |
| SHA-256 | 1430D433F7F53A0BD5D1C1C7E211D44BA0883B80F58A1B2949666E2B6159BCBA |
| SSDEEP | 24:Xw2sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xwv4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T18F21C6D877A6D24012DA436B5C749A0B076F0B96EF19CA308373C19AD4AB05748222D0 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqide.opt |
| FileSize | 8499360 |
| MD5 | 829BFD7F2243B0D4B5892D6F2942E508 |
| SHA-1 | 1C26B172C6E623669EB0E8A198A6AEA38B1CBBB1 |
| SHA-256 | B4015925C067AF9257A2F3EC7DF4379DBBF30EE234945715AF2C43F94C8520EA |
| SSDEEP | 196608:wELG6Q43sG/1+aJLNl5pVhmmUkrCdo1uFucxs8bYbpj:wELG6Q81T |
| TLSH | T19786D897A9C189BAC5BED939C6E916337EF238650771B31229D017212F13CB90B7DB81 |
| 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/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/doc/coqide/changelog.Debian.gz |
| FileSize | 4396 |
| MD5 | 38B98E1D1781ECA1F72B7D42C2B9191F |
| SHA-1 | 61996281C40BADF21A3FB3BD2935A582C070BC9D |
| SHA-256 | 8FB677FBACD7939059AD243BF0600D279D13132466AF6AC898296F0EDF9534B4 |
| SSDEEP | 96:sVkk8x17o9GuWPx5G9+mX7jqNL8Z32Nul+EDj6XM0KzitcGXO+:QkkA17o9uPg+L8JYEDj6XM0GocG++ |
| TLSH | T1EC917C3673679E820AE0AD3A24E617A91F35D9CC380008C0B6581ECF23281FA1DA8C7C |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.byte.1.gz |
| FileSize | 1160 |
| MD5 | 40176E6F163EA04737F7F7064D2837F9 |
| SHA-1 | 75CE74DF0EC2509CB3A67CA1D4152DB729AC120B |
| SHA-256 | 67ECBC2BC248FBB8048EDB0C9CC8FFDB6024DF4F1401A1AD6E76C6C98F8BA88F |
| SSDEEP | 24:Xwkvsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xwt4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T1D821C6D877A2D24012DA436B5C749B0B076F0B96EF29CA30C3B3C19AD4AB05748222D0 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.opt.1.gz |
| FileSize | 1159 |
| MD5 | 7D275DCEBF8D716541CFDD271503DE03 |
| SHA-1 | 863FA46F47E4733AA730AC4A26D2BC811271FC38 |
| SHA-256 | 9B60F1B825D190021FC0094DFE706A0D429E20EF22123B2803516C37AFDC38D1 |
| SSDEEP | 24:XwcIsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xwy4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T1F421C6D837A2D28016DA43AB5C749B0B076F0B96EF19CA309373C19AD4BB05748222D0 |
| 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 |