| Key | Value |
|---|---|
| FileSize | 996648 |
| MD5 | AFD5E1FC11F10CF05EEE8AA26FA30A56 |
| 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.4pl2dfsg-1 |
| SHA-1 | 75189371FA3B7EB61AF9DC43F9A7482E02120A88 |
| SHA-256 | 84C0E9641DF178496DF85A681D1C2E849AF67ED2D7AA4CFE118800A6AD915127 |
| 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/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/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/bin/coqide.opt |
| FileSize | 3401784 |
| MD5 | D2A54C08B11F8CEA67141AA72E04EC40 |
| SHA-1 | 552215393512E6FEFA9C2BA390AE14AFF09F3115 |
| SHA-256 | D4E17153F0EF336DCF6009B35100EECB1C154AF81269B908D508FBD82CFB9452 |
| SSDEEP | 98304:aMQBO1g1Gc6Enm8jyVDTjZSsH3cez2Nu2keNPki2fG0EObmdMWt/9xvzZpZawNK/:TQBO1g1Gc6Enm8jyVDTjZSsH3cez2Nul |
| TLSH | T1B9F5E757A8A189BDC7FAC43BC1A35A3679F13C500B617B16169172302F739B90FAE790 |
| 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 |