| Key | Value |
|---|---|
| FileSize | 5515366 |
| MD5 | 8464194EA334E1A6CAE0B599F52E6FFD |
| 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.3.pl4+dfsg-2 |
| SHA-1 | 0BDA931A6D77A0FF1D41196DC5A86DB9449EA1DD |
| SHA-256 | 5AD3BCD1F3BB29899833DB6B03291ACFB1054152BB59730FE9C93E25B2B54481 |
| hashlookup:children-total | 10 |
| hashlookup:trust | 50 |
The searched file hash includes 10 children files known and seen by metalookup. A sample is included below:
| 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/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/bin/coqide.byte |
| FileSize | 8050138 |
| MD5 | 438E7D174FC84714892094E6E01D8C4C |
| SHA-1 | 53DB0D05A1A89437E9225C4B5DEC6E1616228FC5 |
| SHA-256 | 0F4E8649D228607932CF9A5333AF4421BCD92C4B5FFCCAF7C7FDC67F565C9EF5 |
| SSDEEP | 196608:kUKNNacqm2paZr7mCqGnf+xVqHG4RwL+W+fQKYNd:kU5t9 |
| TLSH | T1F186610EB710DDB2C4A60AB7CA87C2455336EA76AF030A1F319D6A1C29D3B5F6F44746 |
| Key | Value |
|---|---|
| FileName | ./usr/share/coq/coq.png |
| FileSize | 5944 |
| MD5 | 34DF91C2BABE067D3EBC6E1CC8B65728 |
| SHA-1 | 2C3C9FA527EB7C7B1261ABA244668EFADE98E083 |
| SHA-256 | C959DDC4A9741B2B7265074C13FB5B29B3AB77831B88EEAD02377C5F589D7925 |
| SSDEEP | 96:SuYQcPMMTFa9F/V9dS0SBkYOwnwTbRHNVDqLZO2+D2f82arh7oP0OjGRu:nYcMTFwFPdyOiw/RTuOLD2v+i0qGA |
| TLSH | T1FFC1BF1B1B3354F7FE78EE39A49565BAB43153295BC0E3E49CCD3C88152A090DB881B5 |
| 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/libcoq-ocaml/copyright |
| FileSize | 1180 |
| MD5 | 17DD07FEA80A69EF9BDCBC95C8AED697 |
| SHA-1 | 566515D8EB8F839FD9339AA140301A213175493D |
| SHA-256 | FCDF7F3E9C2EAC33ED090B63F53004DE7252AD00BD5C6EDB10A651961F2EDA12 |
| SSDEEP | 24:g0tuOnnh41UDK0WaiZ7CLpKIBun8+HR3eW:G0nh4uuaiNCtre8+HR/ |
| TLSH | T177219A02ABDC9BB93B9194E2640109C0531F5E9F2144F1B17CCC9108DF0D5381BF121B |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqide.opt |
| FileSize | 8618912 |
| MD5 | D688031BAE55F85C17B223FE209483AB |
| SHA-1 | 9D568026768D3690804B9CE2F823C09656D20FA6 |
| SHA-256 | 972EE7ADD51755CDA106EB8EB5E3B505572DC597E76400848E773E18D0BF98B1 |
| SSDEEP | 196608:6aFscDrSMoWymkpRR3GZTk5UIRFSynIe+culPKg3ZXYfd+KnJC8dh0xdEYjVtlAN:ZM1TNiR5AWFCg+bH |
| TLSH | T107961906B6C89D3AE0470B74486F03E28768DE851BF57257960DB2287A713F153AEFD2 |
| 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 |