| Key | Value |
|---|---|
| FileSize | 1544828 |
| MD5 | F26EE9BF27978AF0B8391FC2824E1241 |
| 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.6-5build1 |
| SHA-1 | 53D10ACCC3FE5C902A90C08C3718879A34E5E086 |
| SHA-256 | E41A56E5DC054395A99A0AF397B673D763F9BFC1C58A78CF8F49DCB8B1880627 |
| hashlookup:children-total | 12 |
| hashlookup:trust | 50 |
The searched file hash includes 12 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/coq/coq.lang |
| FileSize | 9946 |
| MD5 | D24962577F9A66A52218BA1B132E590D |
| RDS:package_id | 182052 |
| SHA-1 | EA7F0F9400CA418979813568374162237BD579FD |
| SHA-256 | 5288420D8A80EC0DA8BC8BD3E4BDE9794F9591927CDDF0729564823EEBF5736B |
| SSDEEP | 192:HbVZZAIteYr9GuRPxlrNTyOmbypzeY2q2h:HbVZZx1r9GCZlrNyOmSexdh |
| TLSH | T1A12244B8C8FB8E05B856C45173D0F5067E66F5E35229986E368D0A98AFC1E9B00CF259 |
| insert-timestamp | 1679425506.2389646 |
| source | RDS.db |
| 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/share/doc/packages/coq/FAQ-CoqIde |
| FileSize | 2514 |
| MD5 | 763C1708CA4C70954E6A86DAAFE628DC |
| RDS:package_id | 182052 |
| SHA-1 | DBA1BC562B15A330013F388EC4B5D431FBE3EF76 |
| SHA-256 | 5F76EE7217CE942EF350BFBE7D4F5EE368C21C4877C9D50C06489DD56BD71D22 |
| SHA-512 | 7FF430F54DB0E740047D5631EC4E323D46F9A6064345BC5A6D554C0958AB980732207F281570A661BC5E7DFC7F62DA2EE056F6518F77FB5D76F98B63E4BCAB16 |
| SSDEEP | 48:vzcWCElVfRszUCG07lIu1YdM+T3ITEOQURs0j+qRhm83Vyri:vwWCsVpsbGrqYMi3IlRsg3Wi |
| TLSH | T12851C5669283237219C38171322CD9A59B3FDDBC5233598A6C3D85D8128477493FEEEB |
| insert-timestamp | 1679425506.213619 |
| mimetype | text/plain |
| source | RDS.db |
| tar:gname | root |
| tar:uname | root |
| 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/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/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/bin/coqide |
| FileSize | 6684688 |
| MD5 | 60A957390D65C79BB9105465F69C4D00 |
| SHA-1 | 6A1ADBED2C90F40E50DC0E1E6106658250A8CEDB |
| SHA-256 | B7700E88C085E25B04D5A515342F1832F17796A123200E661212ADDB45429FF9 |
| SSDEEP | 49152:9SxA8Rt4QlxCaUrtWLoWSSe3bqQQTjTRlVL8sX58EbKCVe2WlPT76KHO2J5ZvDqf:9SxA8RtFOtWLkg5GBvuNQTkQRh0U842 |
| TLSH | T121663B5FAD9A89ACC37DC638CA9AAB71BD703C2147A17B13158092110F136962F7FBD4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toploop/coqidetop.cmxs |
| FileSize | 468104 |
| MD5 | 5B56B6E842E1DBC1999B52C9567A16AD |
| SHA-1 | 54C70BC22C38907A4D55DF211268D5B01C620305 |
| SHA-256 | B19F6D195FD0A7CD5F4D04D966A4E6AAD58795B1E6EAE9459625C066C9519966 |
| SSDEEP | 3072:jf7FgoOCD7s+vQKFdmgt9U5wz2bw2MNPpV47y2WaFc1ufpIpvcqmLRmbUY5P+:zqoOCXJZ9U5LwJZpV47L9c1uecOP+ |
| TLSH | T165A4D59BF48A8E7DCA7482F98D510BBC79B178D51790E70716C8A2243F477CA0B6DAC4 |
| 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/coq/coq.png |
| FileSize | 12317 |
| MD5 | 563B6FCBA96E52D3A19A5F722EEEA198 |
| RDS:package_id | 182052 |
| SHA-1 | 4587D561D95D9B944B387319C167C56193C2AF83 |
| SHA-256 | 18AF357E620C0454A3F5B6B5481FA5F8218742EF1800C390660E1D65C5C812FA |
| SSDEEP | 192:HVmZEgh1wEFuLHw1/u6UfId7w2LcJe4hWilP+Q+aWWs1ADI5FTdQD8BC:103w5HwdDS9JvhWixJ+aPSA+qDiC |
| TLSH | T14442C0B5AFD4BA79C0E7021F33D85FA500758DB60DAA56192E1B68F00A0F34D1AD269F |
| insert-timestamp | 1679425506.2483099 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toploop/coqidetop.cma |
| FileSize | 636004 |
| MD5 | 5933E37CF2FDF69D575EE6457B384C54 |
| SHA-1 | 9F7545F262D56213BD50D64FFD36E617DEEE700E |
| SHA-256 | A2ECA5DEC96151CFD7DA4D306E187D641BBB0C59FDB59EB01C2479E35C572301 |
| SSDEEP | 12288:Zst8rFHCgka97/i/62rLcTQiwFFjwYgfe3KyOHh0ZOcsSbBSyk/vw+Ons01sF0Hb:Z0ACHa9Li/62rLWe3nOHmZOcLlSyk/vg |
| TLSH | T15BD4F60DFB68E971C88918BECDE8CE8B5310597F69132E7B0089076984D636FAF45B47 |