| Key | Value |
|---|---|
| FileSize | 6544758 |
| MD5 | 876847C236E7D9F6E7D6192886D55E73 |
| 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.2.pl1+dfsg-6 |
| SHA-1 | 093974350666D3D9884286559D4EA39ACB5E8CBB |
| SHA-256 | 3E7BD3011D79CEF1B27E3ED755E3AEC4094CBC61FD8DE9FDEF165656C7457B1B |
| hashlookup:children-total | 13 |
| hashlookup:trust | 50 |
The searched file hash includes 13 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqide.byte |
| FileSize | 8967984 |
| MD5 | DD727A2BA96D2C53DC91C4FBE35BD61E |
| SHA-1 | 1499F624B0F45C3E0BA8D9147516BFEFE2062B41 |
| SHA-256 | F52803D90CABE136EF21D9757C6622EA3DC1B45B4DD3FD666239C2B20676A575 |
| SSDEEP | 196608:muUsNNjmIEX33x0KA2L18cYqv/xK90sqn:xU5UO |
| TLSH | T1D696520EB7109DA1C0A60AB6D9D3C3851336EE76AF430B1F249DAA1C29D3B5F6F44749 |
| 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 | share/coq/coq.png |
| FileSize | 6269 |
| MD5 | ABDE6D74070949C17ADBB7BAE2CF6C89 |
| SHA-1 | 195DFB6AE1F3B10A67595574D2F5C1FE7F2553D6 |
| SHA-256 | C76ACCE31B2233E4C38F5E06F9AA3FADFE692DABF46F1E9C8EFEDD8E43460F70 |
| SSDEEP | 192:Pv3xBRLaO6DyiFZDGB08/3HQNanBJBVRDPtPh4I71E:PvfRZi7Kh/3nn/fdPtyN |
| TLSH | T1D3D18CCC6DE015381766D6E8B3ACD2738DA7F51056ED846E359020922722BF8DE4A7A3 |
| tar:gname | wheel |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/NEWS.Debian.gz |
| FileSize | 269 |
| MD5 | 0ECA063A774B94A35B2709F6E8E4D6AD |
| RDS:package_id | 182052 |
| SHA-1 | 01024660E771DD5236B4AB77DFE0050CD2399988 |
| SHA-256 | B1659BBB950B950046B4C9660BD1BA77AECC2AC75CE8D9172942608DD8A845CE |
| SSDEEP | 6:Xtq1MrzCx26YMHSG51tXgMIdrMzczJzVkVpXV77AFBS4jMNl:X81SN6RSGvttI9Mz2WV5V7Mi13 |
| TLSH | T165D09535760099B79E5DD0F1357CCC4EC512C2098C20F1B1A0A5E013D0E6764D4DF904 |
| insert-timestamp | 1679425887.2617948 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqide.opt |
| FileSize | 13108040 |
| MD5 | 036396E19F1884908DC413DC8E803FBD |
| SHA-1 | 1F5F4D45B94075D0A5E45B727A4C9A5469968FA2 |
| SHA-256 | A5B11380C51ADA16C85C2C461D1CD783F664907CA3D443849DDC2A8B2DE85C33 |
| SSDEEP | 196608:3LmCMTBsH/E8MgqfsLbjuAAEUQStZitCp8PMHQzfuGU+a2qD5jf/ANvG6+ZnVOiL:H/jxkJw7sYl7c |
| TLSH | T15AD6E857E9C68DB9C6F9C13D86A326727BF178541B607B0219D0A7213F238EA47BD780 |
| 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-dev/copyright |
| FileSize | 1960 |
| MD5 | 0B58C75130F2720164A53805C487354B |
| SHA-1 | DCD24EF63C597BF837BED5F834BCFC33C0081AE9 |
| SHA-256 | 3E18759F3CC04F8961D41981855E2B54FAAA0032F8ED3E30C69910C7822E3351 |
| SSDEEP | 48:FA8XqCiCjIejziNC8sIT2kLmpGQaZzeP3cthQmavVi:FAGqZCjvwqk6Nzvcttii |
| TLSH | T19441A426DB5CA3311AA204C161069AC5E76F6B7B1294A190F07C6509AFC2D3472E73CE |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml-dev/changelog.gz |
| FileSize | 30222 |
| MD5 | DF5DD9705AFF03DB428261864B3EE112 |
| SHA-1 | FF025CC027B506F56D2F2E57E94106D0B591C94B |
| SHA-256 | A28FFAC6FE776F80A982B3DB72C4CAB5F809FA4AC2104EE541F76B73A0205BB4 |
| SSDEEP | 768:Kn2MZfi+W6RGrLSSTTTI4vryDNlp65ENo:Kn2Mt1LCLHf3vrqpIENo |
| TLSH | T19FD2F1A20AE9D42547F6F514166D1CD26769C8D910CEB7D3D8F7D5E0B2FD9E380EA400 |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml-dev/changelog.Debian.gz |
| FileSize | 6241 |
| MD5 | 7B61C8B89B689A41D591F11A4662E889 |
| SHA-1 | 673BEDEEB24F3F8FA2FE6B81C7DA8A3B05A3679A |
| SHA-256 | 3A0C9A24A3F5E30106434FAF9A6E8C717D9DD08E46D388361610B8FC612477CA |
| SSDEEP | 192:Cu3jvgU5FMfH/mB0G0KkrdNQ+2RWM9CRVYK8WD:f3joUmk2RNQNWaEx8WD |
| TLSH | T15FD18D60B476F4A4F2E76D2D84789CFBE87E25A8612CE0F4F94CC1D2744CE96500BA07 |