| Key | Value |
|---|---|
| FileSize | 5502554 |
| MD5 | C13ABD99E0777C920E94EB98CDCF1EC8 |
| 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.pl3+dfsg-1 |
| SHA-1 | 99808997C9A23C023968FCFD7BBA6D6B48A4ADF8 |
| SHA-256 | 8F848356FD7AED9FA0038121982D053229253FCADB63901EB53867254F1B402A |
| 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 | 7961044 |
| MD5 | 81320F64C87021B7A41B21D10389DEB7 |
| SHA-1 | 1242609836CA31252DCBF4C1122E075DA3D4F31D |
| SHA-256 | D13491E43CBE380445CAFBB3082AA80ECDA42F8715182EA2E2A6D3F9CAB9D12A |
| SSDEEP | 98304:eHEvx1myuUlVsVd5/4EeVkMcFy22BkVniDCI80Bb2uJ3wnu:eHzVy22BkVniDCI80Bb2uJ3wnu |
| TLSH | T17486F9733C879D22C13AD230AD874321DA7AEC66A6609F2E7721622D5FD6781358F4DC |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coqide/changelog.gz |
| FileSize | 19975 |
| MD5 | CD5CC90302B2D23083FC8C05DEDE8FA1 |
| SHA-1 | 192EAB9E17B073E59902B87320CDD3041F3F81B3 |
| SHA-256 | B3796CECC3C90E59E2C3AC89C3C4B151CCF48FB96884D5FFFF596E1BE94B61E6 |
| SSDEEP | 384:nlh4cMjvw2ek3wu7q4EVMcwtsVUApsJkVoWUG5XIt0fz3B7AR2t9jR4:n/TVk3wCsVMZyVTpDVoEJAM3m |
| TLSH | T1F992D198A7EA8C6D3DEE3C4031B79814F30F4BB29190A631D5D5731E5689629DCE0C1F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/utf8.vo |
| FileSize | 4802 |
| MD5 | 7AEAEEC896861A451C9AC910566A8075 |
| SHA-1 | 2DE38F508DA9BBAD792D113822F41317EFCAA851 |
| SHA-256 | 7BF26374115FB24BBC2561C94A05764F62BF08273A0A6B8359498BA1870B1860 |
| SSDEEP | 96:8bpkgtgIT5F7mAvKcKRtBCTq8DSHkPMcdh+:8bpttBTDenaRD+kPMcP+ |
| TLSH | T1FEA1112D352BD84702F808B5C666E598CB0947D05CECD989DB0D67F90FE07F68A8A687 |
| 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.byte.1.gz |
| FileSize | 1160 |
| MD5 | 7A86A0751AFDAF49A185C8FA2F58691B |
| SHA-1 | 37CC39BF9114F4B560C6CB7650DBE5D79A3D33A9 |
| SHA-256 | DFF0DFE136286684CFCB7A8F41A78C058C0ECC3AC56762B9D831242F7C7E4010 |
| SSDEEP | 24:Xknnkvsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xkt4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T1F821C6D877A2D24022DA436B6C749A0B077F0B97EF29CA30C3B3C19AD4AB05748222D0 |
| Key | Value |
|---|---|
| FileName | ./usr/share/applications/coqide.desktop |
| FileSize | 213 |
| MD5 | 9018E265554613E6649B9DFE7DB59991 |
| SHA-1 | 74F5A840A0355EF18F9714EA0FE48A34AEAB93E3 |
| SHA-256 | A4A2E2E545508491F61EB0C18F35DAA4493556EDD18C2DF2A072CE13560B6871 |
| SSDEEP | 6:agQM8lF3DJWBylLEtJ/LDlse2xWoc9iu7bD1Y2:rKlF3utJP2ewc4wD1Y2 |
| TLSH | T156D02356A441012855683016CD5A8DD61EDF05380077513CD93C00610101FC7F58EEE5 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coqide/changelog.Debian.gz |
| FileSize | 4795 |
| MD5 | 14A9E0DB98521F9C4527642C10342ADA |
| SHA-1 | 81A4583335A44732C55F85C6D8199D1D31BD3C29 |
| SHA-256 | C7380999CA0560FF04C635CDF13120167A548A15E08EECF4CE8A7B55C402CADB |
| SSDEEP | 96:LrEkRqvvjSQwSewmImGj1PWTja6LC1mgviJHYUxk+uOJTInDe0vAq3b3PFVD1C:/LGjdQ5GBaJu1mgv6YUxkLAI/3rns |
| TLSH | T12FA19E6ECBB38520F4659874A1B824232A8183108263F3FB1C796F12E58D1C8EEED453 |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.1.gz |
| FileSize | 1155 |
| MD5 | B13B62083CA141C5D9864A329A52C995 |
| SHA-1 | A4061D45B57C0B3408BF3DD689F1A9BFC7E24887 |
| SHA-256 | D9B504B504FE007BC616C39268766DBF35FBAA909F983CCC7C9B264474873E3C |
| SSDEEP | 24:Xknn2sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xkv4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T1A321C6D877A6D24022DA436B5C749A0B077F0B97EF19CA308373C19AD4AB05748222D0 |