| Key | Value |
|---|---|
| FileSize | 677516 |
| MD5 | 7CFC9072E001440FF20B3744C187AE7A |
| 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.4pl3dfsg-1 |
| SHA-1 | 663770FE8109E961F3AF8B59B46384C4D694532F |
| SHA-256 | 9A45E5BF7E1753EF79F5231B37590359C421641FA3E29DA2884C23493D0C1689 |
| hashlookup:children-total | 9 |
| hashlookup:trust | 50 |
The searched file hash includes 9 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/copyright |
| FileSize | 1242 |
| MD5 | 18FCE0C2C93E66882324F28E7FA11DDF |
| SHA-1 | 952FC0298B987D6180AED1542B41B4ED4BA8C3C4 |
| SHA-256 | 32E3E68411E7DBCAC09689E4B09BE852A3EF71F2F4CAD94F3B0C5247823D55F3 |
| SSDEEP | 24:jKpd638RcSW2iZ7CLpUIlun8wHbGn1hf3eW:jAd6s82iNCtpy8wHb81hf/ |
| TLSH | T15D2144A29BAC5BE93F92D4E264011DC0635E5E8F2585E0F0BC8CD1089F491392FF225F |
| 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/bin/coqide.opt |
| FileSize | 2837220 |
| MD5 | B63C946647D7CDEF455BD586AA2B215B |
| SHA-1 | 0CF0E321F80B74DAEB38DAAFEB3BF343E1864589 |
| SHA-256 | D37BF7E0189FAAA47B72D68768CD334704F97B50354056D5A9C0BD4A93F27A1A |
| SSDEEP | 49152:E0FUoVN6YOVPN4EE0KAey4Y3FcALF5XBJu28Ut5vg3jAv:E0FD0KAefwFVF5XBJx8 |
| TLSH | T126D52AE0D9035DB0D32ACE33A97F927757302D480152523BEB25B5B47DB72762B2EA09 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coqide/FAQ-CoqIde |
| FileSize | 3020 |
| MD5 | B9CA883E4741DA4F91CDECC70B05F16C |
| SHA-1 | 939B183310F65DD22B410CEC7F7D4EDA3CFA520A |
| SHA-256 | A82DC627510FEA3F72434AC23A55C3137D64049A65E0C6FF26058F010F2AF21A |
| SSDEEP | 48:v/c87QlVfRszUCG07lIu1YdM+TX33gzE+cEgkrL7oReg9jpjJXQURs0j+qRhm83N:v0TVpsbGrqYMi0O8rqxRsg3Wi |
| TLSH | T10751C866528313712D924131222DC8E2673EDDBD533299C61C2D869C0248B6063BFFEB |
| tar:gname | wheel |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/coq/coq.png |
| FileSize | 5940 |
| MD5 | E33F17FF877634277CC82ACB39FA0741 |
| SHA-1 | E3AD715CA054AB7BAFBB104D3A9EEC061D413180 |
| SHA-256 | DCFC81CD606978B6A8CF3358C34486AE0731824A548CDCBFDB87B0BFDBC8612E |
| SSDEEP | 96:Xzwv+83NjJ1MxTWnQL5oE2WC69zrKKBr7y22ZIMaQW3+mZqLp0b7XiGYLqTqsNEJ:jwG8d11MRHLys9BJy3pRp0PdWqTxNEXZ |
| TLSH | T1ECC19EE33686ABEC465A8B4731F0F5C273736BE4A7128F160C1056874055F7A950D088 |
| Key | Value |
|---|---|
| FileName | ./etc/xdg/coq/coqide-gtk2rc |
| FileSize | 903 |
| MD5 | 7649CCD45480116CA9A571446EAF225F |
| SHA-1 | 6F76214BBACE58CB132E48F3AD5E88B1A35ADF72 |
| SHA-256 | 858A32ED7281E80494E3B0B46F2838D949499669BB5DFCE6F236F20A2657AB50 |
| SSDEEP | 24:zIth+Opk9Uy9T9zQkcvhEjSEz9IWcGbnzr4b6:0Z2zQkcJEjSERssn4G |
| TLSH | T1CA111023761EA86211631D101ACA508FFBB9F1FC4302B80C4723E628A26AF9D41F9789 |
| tar:gname | wheel |
| tar:uname | root |
| 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/man/man1/coqide.1.gz |
| FileSize | 1126 |
| MD5 | 08EF3E267D777B9137C06A0BC757325E |
| SHA-1 | 16D80DEEFF2CE63880914516EB14B4AF4C3AAB66 |
| SHA-256 | 2FFCC8EB99BE7EDAD36F1FE43274CA63EE6340A846CCD51C847251D03FB1783F |
| SSDEEP | 24:XH4BZnqy5xamdWh60v0oitIPJIUik8JfUZQP7bVkofLy0xrBnzKn:XH4BZfxZWhwoiWPtiDJfrDbOozlB+n |
| TLSH | T18721F98AC0402AE0BE31DFA56A0B4A23281EC6477F45B6EEDA0D1332594E189841DBE9 |
| 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 |