| Key | Value |
|---|---|
| FileSize | 4662732 |
| MD5 | 53619C3A90D298E636FB6A9D62D04903 |
| 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 | 1213FEA99C542C929C4B5031534431A6C8CF0060 |
| SHA-256 | FBF5012CF8FE1261215732E9B82889A16BAB03BE76C7778B89E2278581835E29 |
| 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/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/bin/coqide.opt |
| FileSize | 6771604 |
| MD5 | 19E7ADEA6F1C8B5740F1EF3EBF7BE843 |
| SHA-1 | 4CA28564807C096C6D9657F3626965C0FBD49703 |
| SHA-256 | CBC47DF510403886624B9FB0F362C73B228D6776C880A77D0289C558E378BD3C |
| SSDEEP | 196608:jE6VmOuGrYieivJb27FsZslE8I+yE322A9/lxTK3VurSgMvEkpR:jE6VYGrYiDJb27uc |
| TLSH | T17666D7E6E8861A78C17F4F70ABFB63775BF017410051C73584E0E8A67F47365231AAAA |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqide.byte |
| FileSize | 8274976 |
| MD5 | 76652CEBB17BEC0BE75AB1B0FD24411F |
| SHA-1 | 5C0CC9D4D8B7A047BC3E1AAFC2A5D2C640813D68 |
| SHA-256 | 065E7E7A35DFF10309A61FD7B33D069BB958491EBD520DAD1FD73776507533BD |
| SSDEEP | 196608:JoSb44nhyJ+UdNNR1K7Ag4e8yXeUNA4vCNs67:JoS04nhyJ+UtsS |
| TLSH | T16A86420FB7109DB1D0A60AB6C9E783821335D6769F430B2F299D5A2C29C3B5F6F44789 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.opt.1.gz |
| FileSize | 1159 |
| MD5 | 53F14600EA2C1C7FBB1BA17D20B83272 |
| SHA-1 | 66232EC7CF211529F9C4EB8F225A76356A6A0199 |
| SHA-256 | 5DFB02AF4BE1645B961626F27A94DFC6F4C2132929266B52BA9935964FD5D838 |
| SSDEEP | 24:XtcIsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xty4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T16A21C6D837E2D28026DA43AB5C749B0B076F0B96EF29CA309373C19AD4BB05748222D0 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coqide/changelog.Debian.gz |
| FileSize | 4396 |
| MD5 | C5E6294D84BF26B76F44891860461FF6 |
| SHA-1 | 777713C1B82FE30CA4BAEFFD1E7F8DA589602557 |
| SHA-256 | 2EA92BF8A611EB5C09E55467F3E05FFC4C662A40BB0895A4FD1CE23C8972A10C |
| SSDEEP | 96:NVkk8x17o9GuWPx5G9+mX7jqNL8Z32Nul+EDj6XM0KzitcGXO+:/kkA17o9uPg+L8JYEDj6XM0GocG++ |
| TLSH | T15D916C7673679E821AE0AD3A24E627A91F75D9CD381048C0B6581ECF63281FA1DA5C7C |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.1.gz |
| FileSize | 1155 |
| MD5 | 319B512AE9A4EEB31060BBA94B946096 |
| SHA-1 | 7A7E0F583EB72F759F836F8BD60D9142569CBD6C |
| SHA-256 | 5566109E03514CF1BB75660CB8AAAEFA522DC75A85B8508E2FA98BD2E5487670 |
| SSDEEP | 24:Xt2sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xtv4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T11A21C6D877E6D28022DA436B5C749A0B076F0B96EF29CA308373C19AD4AB05748222D0 |
| 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/share/man/man1/coqide.byte.1.gz |
| FileSize | 1160 |
| MD5 | 24504171A76664584050958BF4B3C4DD |
| SHA-1 | 9D7F83D3B28ACDA2835CF6B4DE71F674708B3962 |
| SHA-256 | D45A04C76A3591302726927AF7D0D3684DEAEE9B7E56E693678BFE46C9B2794D |
| SSDEEP | 24:Xtkvsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xtt4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T10B21C6D877E2D28022DA536B5C749B0B076F0B96EF29CA30C3B3C19AD4AB05748222D0 |