| Key | Value |
|---|---|
| FileSize | 1212448 |
| MD5 | E0E39388A665E463E2AF465AF8148E6F |
| 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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coqide |
| PackageSection | math |
| PackageVersion | 8.5-2build1 |
| SHA-1 | EF783D173FEA6770B1964424CC8B056AAC51622C |
| SHA-256 | 18083885D626DBD618CA0DD61A643DA4128BDA5C5AA1A6C6B4598DA0467EBFFB |
| hashlookup:children-total | 13 |
| hashlookup:trust | 50 |
The searched file hash includes 13 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/coq/coq_style.xml |
| FileSize | 1441 |
| MD5 | 3EB03E37D05236B3A49ECB675D284753 |
| RDS:package_id | 182052 |
| SHA-1 | 504B791AB92FD9F15DE11B72CDECBE59CD0A94E8 |
| SHA-256 | B6F4BFC21ABA6AEEB569663F750C2CE01CC0DEB89DACF75694F20C8722E4A310 |
| SHA-512 | CFBC44C40749D749A613B41B57CAE52913E22D54AFF1117F2CEC133D6BF70FD830A902AACE4D7B6166738E7A7ACC776C70ED30036E476DE4A27D8260D121FBA2 |
| SSDEEP | 24:2dky2SVeFhpq+JyNSod+0XgcAR55WMuNwv:c88e1ofE0XgN6E |
| TLSH | T10621286CBBF10C1853F7C4BEB88178081819E1E15E16E39067EFB834184EAD6382B983 |
| insert-timestamp | 1727037182.4660974 |
| mimetype | text/xml |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqide |
| FileSize | 5532936 |
| MD5 | 96F1AFF4997F3633B3695BEAB7257108 |
| SHA-1 | 971D1DC260D2F99D3524E88EE8344BC7006DB927 |
| SHA-256 | EA6769FD6E8BFD5E8DC2504C6D4CCDAEA552B245417A667D2D2A2D60EDC0CF96 |
| SSDEEP | 49152:fSX6wrhgooOXOE4xJmNN25HCDjcT1xg5xe7Lj3ZV/d90wQByhvkoXxGHo+EnFqnh:fSX6wVgSQW9X0WEFBCKMQ2goyH/V6 |
| TLSH | T18B46396BA69A9D6DC37FC338C589AB71BE60395443B1370629D092110F039EA1F7EBC5 |
| Key | Value |
|---|---|
| FileName | ./usr/share/applications/coqide.desktop |
| FileSize | 198 |
| MD5 | E1989D5AB456438933926DB995156858 |
| RDS:package_id | 182052 |
| SHA-1 | 67F9921CFC4DCCB7BC983E9752C789699C2FC585 |
| SHA-256 | CFC285CF553885F6B4B0BE3993132F43C3B32032768AFC231FC5C79CCC7726FF |
| SSDEEP | 6:agOF3DJWBylLEtJ/LDlse2xWoc9iu7bD1Y2:rOF3utJP2ewc4wD1Y2 |
| TLSH | T190D02295A4400228A9A83011CC4A0DE61E8B093801BA8138E53C00610001ED7E18EEE9 |
| insert-timestamp | 1679425506.224917 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/copyright |
| FileSize | 790 |
| MD5 | D42BCE1FAC516F7DF0F92782D7A37489 |
| RDS:package_id | 182052 |
| SHA-1 | 14BE7DA5CA741BD3CD0E215BA3B55D6FF9D7D5A7 |
| SHA-256 | 9B71C96B301F87F6B0DCB39945C532DD4537B45535DFCC38BBAE533AB935F3E8 |
| SSDEEP | 12:mpj8Jq4KUx0KKwXN1zXpMSuMgxgg6fU4xa2FJp/AhFxxPg:g0tx2wd1zZBuh+TOnxPg |
| TLSH | T1CA01BDD5EED89BA97A90E862E9605C81471F2D5231D5E0E2B45CD1106B0955134C027A |
| insert-timestamp | 1679425887.2714002 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.1.gz |
| FileSize | 1058 |
| MD5 | 0369540505CC45FE1D7A3696B74A064A |
| RDS:package_id | 182052 |
| SHA-1 | DCCA38342B9150018A9B9BB44B7EA43A9067A299 |
| SHA-256 | BCDAD517F8D117FE0B280603F9198BF23FCCCF325ED3C1697D821FC7EAEB4215 |
| SSDEEP | 24:XxFSU9NWqMBReKnjHq/zMtEWRg8eDsPZTKbvUGy:XxFhPwFjHq/oOag8w2ZT0Mz |
| TLSH | T1BF11D8CFB6A43265F5F564DF19CC4FE43C44CBAA7062E4483AA052BC8E0C20C1DC3569 |
| insert-timestamp | 1679425506.2637453 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toploop/coqidetop.cma |
| FileSize | 226660 |
| MD5 | 3ABFFE43B72EDA19C68441EAB2833E19 |
| SHA-1 | 92DD6368DCAEA4878BAB3CBDDEBCDFB578A071C8 |
| SHA-256 | 8D2EFA2A09A3966D1789B00CA0951B201FC7C5541389FE18041FFDA6301E5F1F |
| SSDEEP | 6144:67Zo82zVSZ+2z6zNkOJzBTCK1QKDc0EDJuL228:MS8AVA+2+5HBTb1QKDc0EDJO2X |
| TLSH | T14B24C54EBF24E576C88519BACDE5DECA0210597F78036F6B008D0A2989C271F9F45BDB |
| Key | Value |
|---|---|
| FileName | ./usr/share/coq/coq-ssreflect.lang |
| FileSize | 9688 |
| MD5 | DABDD2582FF38E4E4FED7CBFE116F192 |
| RDS:package_id | 182052 |
| SHA-1 | 81AFCB464242CABDC5A705E95A7642A09AA26A5B |
| SHA-256 | 79D670FDBECCBAA6A6F8A9CF32312628B3DA78E64B7D3BA223741B0D32ABFF35 |
| SSDEEP | 192:H3VZZAvqJwJVKb8kBTSRovuPt+KWkr+Bh8R3:H3VZZzOVKbXZSRovU+Bh0 |
| TLSH | T1E012687895FB8E11FC46C89173D4F5067A72F1E35224586E72CE0A5CFBC5A9A00CF296 |
| insert-timestamp | 1679425506.2332847 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq/FAQ-CoqIde |
| FileSize | 2515 |
| MD5 | BEFFB063516A7F26B27D3DDEC674F08C |
| SHA-1 | 747FA4E73CC9005472626F15F2BA2FDE6AD74705 |
| SHA-256 | 0CFDA0B133D20A56E81CA0FB333EBAE27A2FF04E22F957AE6FF50935FBC13D42 |
| SSDEEP | 48:v/cWCElVfRszUCG07lIu1YdM+T3ITEOQURs0j+qRhm83Vyri:v0WCsVpsbGrqYMi3IlRsg3Wi |
| TLSH | T1E951C5669283237219C38171322CD9A59B3FDDBC1233598A6C3D85D8128477053FEEEB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toploop/coqidetop.cmxs |
| FileSize | 175800 |
| MD5 | 5D0FF198986F55ECCB3FC83967F3BE53 |
| SHA-1 | C54BC5BBACC06ED09B0A87557375EF14B4FAFBC9 |
| SHA-256 | ED8F31EB5F00386BB7F96D71353ED3F7F8D15EDF57903C06010C216E6636E861 |
| SSDEEP | 1536:yZjdKKgK9SsAWIMjmS53KRl8yrNwWOiBCZS8LmYpse3dPY6IKazug0x:yNMBWThultxwViBCZS8L60Y6Ij |
| TLSH | T14904D67FB0AACA7DC179C338469697707F71FA1269616B0B608076290F4388F1F9E6D4 |
| 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/coq/coq.lang |
| FileSize | 9809 |
| MD5 | E14CD64215B5FD06856A702280A19E74 |
| SHA-1 | D6877AC5EBB27FE98F84D6F4681350795EA33DF4 |
| SHA-256 | CF7F29185F225AF677E55852AB8C7FB33DB21DA86C10AE53A5CF81E0F4554DA0 |
| SSDEEP | 96:HOKVSiTZAOB+MteYhVhrGhPs77TNfi93GLj7nxZ7R8P1A1NQr9fTTS+3KXwLNI2J:HbVZZAIteYr9GufQr9LTPBoypzeY2q2g |
| TLSH | T1AE1255B8D8FB8E05AC56C45173D0F506BE66F1E35229986E36CD0A98EFC1E9700CF259 |
| 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/coq/coq.png |
| FileSize | 67348 |
| MD5 | BD49BCA8B34E5931723D88203635F1A8 |
| SHA-1 | 83E1C9F597A49859CA55ACA36DAC98686D8EEC4D |
| SHA-256 | 9870C637420CAB3EDA1A6EE4150E935E2A12A5C1601854357373A9D1A25812B6 |
| SSDEEP | 1536:X3arSd+Dq+qwDXeAjjxBVg8844kSHL9CPfCPHGVrwxd2qKl:naGd+DtqEeAdgK43/4Id2Zl |
| TLSH | T14863F129EF0C21E5C55C73F8CE92AE563B3AC8B817804224A7A9967D2DC73750E1FB45 |