| Key | Value |
|---|---|
| FileSize | 202916 |
| MD5 | 8C8AF01E1FA09000FB1A9C405FDAA4AB |
| 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.4pl4dfsg-1 |
| SHA-1 | BEC27B3A8F8A46A2E65DC9505CBB3943D1B50699 |
| SHA-256 | 019C91E4DF837B19A9B96D5652B6802C5D596201C09A76429D6584F295CF6E8A |
| 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/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.byte |
| FileSize | 1445235 |
| MD5 | D767F608300F185954965651167C0FEC |
| SHA-1 | F24A158B00F5E6431F4468C784A5AA709566B4E3 |
| SHA-256 | 497B3383D67040000436DB5E7E615D05672B38B747592BB21B12F37B922052B1 |
| SSDEEP | 12288:f3FTEB4GuqyObiMJZNMfjiyQ8dRaOtcv/HmPwrElqKIdnsQrIi5UNlJQff:sqwrE6rIi5UNlJQff |
| TLSH | T1F565ED0AB7108E62C3E5CA73D993C2811324EE51EB46071B319CB67C39B3B7E9A5D758 |
| 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/doc/libcoq-ocaml/copyright |
| FileSize | 790 |
| MD5 | 0B6D9C30D89980B61EDCA15A5A7C942F |
| SHA-1 | AE8BD2758A1D97B7F1E2BEECBA2479CEDF6F8DE1 |
| SHA-256 | CCD76BEAA5E213203DD824BEF83EDA41695DB6F4794F2B9F776470EF4EA477EE |
| SSDEEP | 12:mpj8Jq4KUx0KKwXN1QXpMSuMgxgg6fU4xa2FJp/AhFxxPg:g0tx2wd1QZBuh+TOnxPg |
| TLSH | T1D301BDD5EED89BA97A90E862E9605C82471F2D5231D5E0E2B45CD1106B0955534C027A |
| 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 |