| Key | Value |
|---|---|
| FileSize | 5488336 |
| MD5 | 2099EC6FA460C414A53432A09DE466C0 |
| 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-2 |
| SHA-1 | 44A24B113AC9D36555870832844C383404C5C9E1 |
| SHA-256 | 56E6841D371F3B309A8F8C4B042F2BB711D5D1156A6430F2BD5967215EB032F8 |
| 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/bin/coqide.byte |
| FileSize | 8050208 |
| MD5 | 86DBF521E8364C274C9394AB6CFAE1D6 |
| SHA-1 | 22F531FBF9FB6C7329833AA429279E2222ADFA53 |
| SHA-256 | 2D82043B9BF000493A685999D67D48E0567BA0AC6010FCFFF65157AD431E713F |
| SSDEEP | 196608:eU/NNacqm2paZr7mCqGnf+xVqHG4RwL+u+fQKYNq:eU2tK |
| TLSH | T18C86610EB710DDB2C4A60AB7CA87C2455336EA76AF030A1F319D6A1C29D3B5F6F44749 |
| 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.opt |
| FileSize | 10619448 |
| MD5 | F8C25A8276E3870C6FA6FFFE1628414A |
| SHA-1 | B47BE9E212ED6730176481CAE958231CA734AE27 |
| SHA-256 | 8D7F0CA2946F838FB19A8D4BF934C0C24B6E544CE575AE105971DB3E4946CBAB |
| SSDEEP | 196608:XZXaFscDrSFoWymk4RR3GZTk5UxRdSynIrUculeCg3ZXYfR+K3HC8dh0UdEYUVtk:QFqNMh |
| TLSH | T1AEB6E957A8D589BEC6FAC53D86A3163279F178501B607B022AD077253F638EE07BD780 |
| 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 |