| Key | Value |
|---|---|
| FileSize | 7924570 |
| MD5 | 08ADBC4B06C496336CFB5FC12E024DA1 |
| 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 | 984F2D509F177E88DD69DC9ECED8A2CFDE45F9CD |
| SHA-256 | 5C9BB70C5018B17D6437BBE65275D7F76F2EE2BF02B39E9BC82B290CA11552FD |
| 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/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/doc/coqide/changelog.Debian.gz |
| FileSize | 4795 |
| MD5 | 27CC2B6290BBC38D49F183F1ED700EF1 |
| SHA-1 | 54F8655A67F0B3EE997476AC5EC38640CDF6FBDA |
| SHA-256 | 33CC32F9625297E586C0AFF547F756D59AF17CEE7411F22713692BA958FDCE88 |
| SSDEEP | 96:ArEkRqvvjSQwSewmImGj1PWTja6LC1mgviJHYUxk+uOJTInDe0vAq3b3PFVD1C:yLGjdQ5GBaJu1mgv6YUxkLAI/3rns |
| TLSH | T184A19E6ECBB38520F0655874A1B824232A8183108223F3FB1C796F12E58D1C8EEED453 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.byte.1.gz |
| FileSize | 1160 |
| MD5 | 6A698EB5D174FFB01627032E9B70AFC5 |
| SHA-1 | 713A33868ADAB9DD9A3830952AAA1BC1433C9ACC |
| SHA-256 | 83814BAF92E5536FAD068FDFC761A057874BAA109C70319640426892CA0EE174 |
| SSDEEP | 24:X+kvsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:X+t4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T18A21CAD877A6D14012DA435B5C759A07077F0B96DF19CA30C373C19ED4AB05748111D0 |
| 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/man/man1/coqide.opt.1.gz |
| FileSize | 1159 |
| MD5 | 129F8F3A9381E26FE27A3E60193EF12A |
| SHA-1 | 7B9178CF6C934C4E4EBE2FCD70DA5BCEBA500983 |
| SHA-256 | B443A558FB90A33823E1A6FC1572E1AEF76C9E72433B0469983439C9CBD8AFB6 |
| SSDEEP | 24:X+cIsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:X+y4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T1AA21C6D83BA6D28016DA43AB5C759A0B077F0B96EF19CA309373C19ED4BB05748222D0 |
| 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/bin/coqide.byte |
| FileSize | 9571494 |
| MD5 | C51CF36C917A81E53545CDD4E2183CBD |
| SHA-1 | B58523959A2CF2F11535D661D34BB57D930B1372 |
| SHA-256 | 66DE29D4A0A08A7B7414D54D9B07BA144813D8A8BFBE362EE91FA1821200A6BD |
| SSDEEP | 196608:lHtw+4h0fpGUzNNR1K7Ag4e8yXeUNA4vCa4LhEUqQY/:lHi+4h0fUUYYhEUW |
| TLSH | T111A6720BB7008DB1D0E646B2C9E783812339EA769F430B2F259D5A2C39C3B5F5F55689 |