| Key | Value |
|---|---|
| FileSize | 6082796 |
| MD5 | 82DCD7D200E789241C2516DCD1A5A354 |
| 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-1 |
| SHA-1 | D072F86DE6F83C369D082C8EC7D2488E20CBD168 |
| SHA-256 | 269D7218EF4104EB0F38420B0E797BC89A92672C2FE3700115DF31E4045D838C |
| 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/bin/coqide.byte |
| FileSize | 9499432 |
| MD5 | 792C86BDCF0815B13A15FA389C0FF1A3 |
| SHA-1 | DC1BC6FC49E219C68BCA861135B6CB30EF6E4A74 |
| SHA-256 | F5FC9E54B744C1751B8F98CFC1F914A86CE93FEBBFDCACD85DD9C8DE91A7B452 |
| SSDEEP | 196608:myvUFNNacqm2paZr7mCqGnf+xVqHG4RwL+XokgQKYNn:vUBokH |
| TLSH | T19AA6540EB710DDB1C4A60AB7C9D3C2452336EA76AF030A1F25AD6A1C29D3B5F6F44785 |
| 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/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/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/bin/coqide.opt |
| FileSize | 9233492 |
| MD5 | 23B4CE8053716F3F204B248C3934F3DD |
| SHA-1 | B4239D48E246E751DD1D0C03499637C75B2567DC |
| SHA-256 | F5711F3C0F52532C80F03ECA75C3E113FF4AE2C760FA82910855AEC7F83E5E9B |
| SSDEEP | 196608:E65O5aVDsbZpRy9N2H22kdCqPJljXUsf6O59GsVp6AhpL5q:E685aVDsD |
| TLSH | T12496D69BB8005D75C4EC87BEB85F0614F2659BA643D76B0E4910823077660FA8F2FBB5 |
| 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 |