| Key | Value |
|---|---|
| FileSize | 2446298 |
| MD5 | 28436B0AB558E28532B5F9870C9AFBDA |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | coqide |
| PackageSection | math |
| PackageVersion | 8.1.pl3+dfsg-1build1 |
| SHA-1 | 0746971352CC7059DB2F55B1996C8FBADAD22C59 |
| SHA-256 | 5135FC79335AAB59E092F8DB88A74584EF13DDA82FD5519F2BFF234BBD1AF7C7 |
| hashlookup:children-total | 14 |
| hashlookup:trust | 50 |
The searched file hash includes 14 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqide.byte |
| FileSize | 9053886 |
| MD5 | B7D26F3A02BF55277E146164BDEFA9EF |
| SHA-1 | 38CCA7C5CEC3D083DF5596DD2308830BDCF5D1B4 |
| SHA-256 | EB3A7D4B8C6B3836B736AE90A43B87C3F32B0D77711F3A06E66013DA81C643AE |
| SSDEEP | 196608:3zDD6+m+9RpoUnNNR1K7Ag4e8yXeUNA4vCor0HWCeZH:3zS+m+9R6USQHWt |
| TLSH | T1EC96760FB7109DB1D0A64AB6C9D783811336EA76AF030B2F259D5A1C29C3B5F6F44789 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/index_urls.txt |
| FileSize | 21782 |
| MD5 | 40AB9C579443B38A97BFB5713D056563 |
| SHA-1 | E8F2B154FCCC16FD77613A7AB33AF3EC18C95761 |
| SHA-256 | D1711CCF191B228ADE89E2496C16574E6EEE8D728519FA2D1EC118EDF2E8E381 |
| SSDEEP | 384:sCrC0RsGBdFO52BSHlwsQq/H4gFUtrQOM4pzCr4tH:sCrXLPFO52QlwsQq/Yx5R |
| TLSH | T182A2DB907F58DFAA97AD489C31EBE102BE585D0FD6EEBD627DF68029471131630303A6 |
| 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/pixmaps/coqide.xpm |
| FileSize | 1457 |
| MD5 | 709CF7B244144C9C8328D574C4DDAF88 |
| RDS:package_id | 182052 |
| SHA-1 | E9F2F0850DA2D025424DD9B0FC25207C7F33D953 |
| SHA-256 | 8FCE1389C8415098201170CC7CC5D032B42CC403EB2172D6960F03EEF38E8D43 |
| SSDEEP | 12:UGCt3oDs0j3Ou9rH/zrbbj30CP44glbGLjqG2IDRR5Cj7TFwn:jy0TCuJbrbbr0MpglpvIDPUjHmn |
| TLSH | T1913148AAE2835D1735BAD543C34BD0F17D0983A38CE47C057E1C39AD632CF41645029C |
| insert-timestamp | 1679425506.2314973 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coqide/FAQ |
| FileSize | 3157 |
| MD5 | 1C2921752ACE03CBA4C50882BE1E4CB5 |
| SHA-1 | FCE22CBB58061A81A228F7E7B399F590F15AE47F |
| SHA-256 | C285FFA159D3F2E0DA551CE01DD222EAA2B810768EDD23270EF3C3A2B5054C73 |
| SSDEEP | 48:v/c8CQlVfRszUCG07lIu1YdM+TX33gzE+cEEkrL7oReg9jhxt6vaItXQDRl0j+qH:v0aVpsbGrqYMi0OKrqn5Rlg3Wi |
| TLSH | T1B151B77B518322752D824171321DC8F6B73E9DBC533399C61C2D4A9C1254B64A3BAFEB |
| 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/doc/coqide/changelog.Debian.gz |
| FileSize | 4854 |
| MD5 | FDDB17689F4077DB21E2670073208B8D |
| SHA-1 | 22224097BA5197508FD78BE33A7D15477171EBD3 |
| SHA-256 | 45ACDCECF7ABB67A6BD0C027A8FDFDAE7A1B4A131FAF23BA9D268C9BE6CAEA18 |
| SSDEEP | 96:i7pQq3qpu/ce2+EAbTnNq2ykMD/toTa7XXxp9JYnkU6ioFGnBH/1IQYDuDQU7:0za8r7bOkMLnXXxEkjioFGngaDQE |
| TLSH | T1AAA16DC45DD2CDF8AE318DF8BB9C53D08999E5A4446532DA99881588C3BD2AC4D8F309 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coqide/utf8.v |
| FileSize | 2445 |
| MD5 | 71D0D24818BEAA4246DBD22754C160CB |
| SHA-1 | DF414B069513A18F5C59D4F89EE5C4E8DB73FD88 |
| SHA-256 | 0EF32DE686C5AB9F51B7E3005F546C493911396E7A9DDDEEC624897BB3D0BD65 |
| SSDEEP | 48:kJcNaciyzBrX1QuT9J9PeAi/AWzQ1BMrarYREGN1lmv:kJcN1iyzBLCS9jWZ/Vc/+ThY |
| TLSH | T18251D67C0055AF26A7E719A236042ECC1732C4C50A5A9CA5B91CBBFC079D7FACB4D785 |
| 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 | 1146 |
| MD5 | EC1499C27A0D3206F8D63E271403E196 |
| SHA-1 | D82B6A040A3ECE5D2A6EA5698745736C774B41AA |
| SHA-256 | 43B9B008B96588D41A2CD342843C9DDB3A33E22399CE6640FDA0707FFFD14228 |
| SSDEEP | 24:XHCsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:XHD4sQUXeEtlaFSDx9mCZ9 |
| TLSH | T1C321C6C837A2D24051DA436B5C749A07072F0B96EF29CA308373C18AD4FB05748222D0 |
| Key | Value |
|---|---|
| FileName | ./usr/share/menu/coqide |
| FileSize | 162 |
| MD5 | F2431091B7741BE124B0C9D0DD306EDB |
| RDS:package_id | 182052 |
| SHA-1 | D420E1139F84D5C89C7938CB2D428008DEA26086 |
| SHA-256 | E966CE35D8539A6990FFD46D905F7762DD23D36783D0C3DB6CA04E47B7D028C1 |
| SSDEEP | 3:2RG0HKL9UaD6WHvINWRITHlUUlDhbQfVwGERMQWYHgq3gHv:GG0UnD4NWuj7lDcwGdh/Hv |
| TLSH | T19DC08CB0B12492758F23EA72B22002087292F0914888AAA0A8B2860097014B01317B9E |
| insert-timestamp | 1679425506.2691462 |
| source | RDS.db |
| 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.gz |
| FileSize | 19965 |
| MD5 | 4A34DE907E3B06EEAEDD1FE246E4BF22 |
| SHA-1 | 4D08C6969603248A8EC1C5665F8C1D017AF1A732 |
| SHA-256 | 4397B8B94D2192673D1291EC57C7C5E5F09B5928266C88D2AE024ACD6B082986 |
| SSDEEP | 384:Nlh4cMjvw2ek3wu7q4EVMcwtsVUApsJkVoWUG5XIt0fz3B7AR2t9jR4:N/TVk3wCsVMZyVTpDVoEJAM3m |
| TLSH | T10892D098A7EA8C6E3DEE3C4031B79814F30F4BB691A0A631D5D1731E5689629DCE0C1F |
| 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 |