| Key | Value |
|---|---|
| FileSize | 1758824 |
| MD5 | F324E63A1122CD5ECBA95D5BF16A5F40 |
| 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.11.0-1 |
| SHA-1 | 31B1537FA9A5A9E9A7533F9FC6DB0A1D70ADC791 |
| SHA-256 | CA6CE62595D153014E5ACD5BA441F7EB858039D82CFE36BED2F7CB6B3B78229D |
| hashlookup:children-total | 11 |
| hashlookup:trust | 50 |
The searched file hash includes 11 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.1.gz |
| FileSize | 928 |
| MD5 | 871C5DD7E14314CCDD7809C4734932C0 |
| SHA-1 | EDEF996EAACF450C9D442167A004BD28F10A401F |
| SHA-256 | C756699A6F100D7DAFEE43FB6FA07CC4D5F5E6B93D1F626CDFEB80DDC31AB5F3 |
| SSDEEP | 24:XmwyLp3vfs9P1nWM30NtQYwHZ0nmYlpKMbHXsA8u0Sc:XmwyL93MktQYwHamsKSHXsA0 |
| TLSH | T18C116BE85A101CF2B1455AA9636ED28E173393C7C1D640167B102C6746A0856EEDD50E |
| 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/coq/coq.lang |
| FileSize | 9946 |
| MD5 | D92E1DA4EBA2D4073C6E30B4242F20A7 |
| SHA-1 | A7C6BB6CD9095D22911B455B1EDA4DCD67ABD8F8 |
| SHA-256 | 8F6758E5413173799D07D4897266FF5144C140B545FD47F1B9F18A228A7CA224 |
| SHA-512 | F63DB9C0EE3F8D8801E01D4B6AFE050E4098E7697D4CB2833BF95371BABBAB79D5DA7DC3A8F6C75D81AC9FA8A33B7346F6C995A91327AC3D347D294026120544 |
| SSDEEP | 192:HbVZZAIteYr9GuRPxlrNTyOmbSpzeY2q2h:HbVZZx1r9GCZlrNyOmyexdh |
| TLSH | T17C2244B8C8FB8E05B856C45173D0F5067E66F5E35229986E36CD0A98AFC1EDB00CF259 |
| insert-timestamp | 1643556779.4071786 |
| mimetype | text/xml |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_27 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqide |
| FileSize | 9323720 |
| MD5 | F3591C1EC604B8C4CB7397930F7AC32C |
| SHA-1 | C40571ED4FF77009D6656F60B723969058848229 |
| SHA-256 | F6B3B82F3282016656D6738FDB8CC01B4710B917A309A0D28A0226A1900C532F |
| SSDEEP | 98304:A1nGGOcHDJLqb8DqJFaGIu3E5yAkIPBkDWNGEMmIsZsC:AVlOcF+b8uYuMB8WNpe |
| TLSH | T1D8962B6BFB9F6AACC7F9D97581A5A7B078A47C101950E3530F80B2260E134E54B7EBC4 |
| 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/share/doc/libcoq-ocaml/copyright |
| FileSize | 10062 |
| MD5 | 89969BEA82E5558FC8AC7D7F44E36B11 |
| SHA-1 | DAC0F956F3E368FB78472956E8898BA59A983E1F |
| SHA-256 | 72863FAF77DFEEDE75179E563505966C949DCB4305DB10AC35146226C4548C5A |
| SSDEEP | 192:ltkHfNwep5U5RcG8VnPltBFAQHFwrB7lNb+1vRje2xd7u+le2xv:lwfvpi5+G8xltBFAAsZlVGvRje2fuAee |
| TLSH | T1F122B60536098777B9E062FA390964E9B39AA7CBF5968453F05CD10D2F0B43A02F67F9 |
| Key | Value |
|---|---|
| FileName | ./usr/share/coq/coq-ssreflect.lang |
| FileSize | 9756 |
| MD5 | 8AECFF56976872B6E53ED389AB6A779C |
| SHA-1 | F14D74A07C7D2E5CB156FF83CE14B8E419601AB1 |
| SHA-256 | F7147EB9A8F51C7EF808D9EB46913BBCCCC586FA1BEDDD261700CD47154D1EDF |
| SHA-512 | F109CCC2ACD93D7421F4B0F161DED91F04CCFF15341883336A3D5EAA1DBFFBC1C1B72E5037D457B6B29A44DFAAAE3AB33AF700D08E6E9B3A90FA60D7D5B6FCD3 |
| SSDEEP | 192:H3VZZAvqJwJVKb8kB+5RovuPt+KWkr+4h8R3:H3VZZzOVKbXA5RovU+4h0 |
| TLSH | T13712587895FB8E11BC46C89173D4F5067A72F1E35224586E72CE0A5CFBC5A9B00CF296 |
| insert-timestamp | 1643556779.4113753 |
| mimetype | text/xml |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_27 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/coq/default.bindings |
| FileSize | 34286 |
| MD5 | CA9CCAFD722CF6CAE8E02BF7A7B7EC68 |
| SHA-1 | 6562087A8438BC17946B369D8F4B06CBC2825CF3 |
| SHA-256 | 36F7E6531083035B7ED833EA3CFDFD440F3A0C7D78F0C1B12FEC2C9CB5CA638A |
| SSDEEP | 768:3Ir8jHxhd1SqtJib/pCaxplw2/SplpATFYFaq02AvCCBFZ3se1:YwLxhd1l4zpCaxXw2KprFl+VFZB1 |
| TLSH | T151F2F89FF3EBD9738A2B38A15006764DF237C6EC8149C1547AD2985FA7CC227592A31C |
| tar:gname | bin |
| tar:uname | root |
| 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 |