| Key | Value |
|---|---|
| FileSize | 5487638 |
| MD5 | F356096B659B9A9D2E92176F3453E616 |
| 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-1 |
| SHA-1 | D45F45EC301FF59FC0EFF6C1F1524E2ADDADA385 |
| SHA-256 | 1AB2EF90CBEA08E51BEAF457B78B27207C0E0050B55A0CFC1FBC6149D8593528 |
| 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/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/bin/coqide.byte |
| FileSize | 8030239 |
| MD5 | 55F6390AF708680E70486076875DA542 |
| SHA-1 | 92EA0BACBC08153A74C45B295B3B586E2F34A740 |
| SHA-256 | A57D835629B964E9691D777847DC2EECD2F22D1A9BE8ED15BFEBAEAC144C9E20 |
| SSDEEP | 196608:yUKNNacqm2paZr7mCqGnf+xVqHG4RwL+QoZnQKYNe:yUDoi+ |
| TLSH | T1C686540EB710DDB2C4A50AB7C9C3C2452336EA76AF030A1F25AD6A1C29D3B5F6F54785 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqide.opt |
| FileSize | 10608304 |
| MD5 | F1A58FBC52F7855A67CFFAF8B1E82567 |
| SHA-1 | E5496435B269F36C022FDD1A74B67746EDBFA970 |
| SHA-256 | 5E45947A7D84175569649B0FAB0FA8994D59994BBF54DDC2124BEA1B1A4C0F7F |
| SSDEEP | 196608:4t/KFNZkgSFOWymA61R3BUTq5U9REIy9ISDcP1/sx3ZXQfZqJ3HCd0n06dFYEVaF:4+JSjL+ |
| TLSH | T166B6E897A8D589BEC6FAC53D85A3163379F178601B607B022AD077253F638E907BD780 |
| 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/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 |