| Key | Value |
|---|---|
| FileSize | 748916 |
| MD5 | C43ED7E10B64A1182437BD88F3CFBFE0 |
| 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-3build2 |
| SHA-1 | 238F0B4DBB7726585502E7DB625B41FB29AEA622 |
| SHA-256 | B7BB0494318D904476F77A60ABF731391C1FCD9A33D19B283C294890C9543FBA |
| 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/coq/coq.png |
| FileSize | 5927 |
| MD5 | D11EC4EF1B71DF2F24991ABB1081375B |
| SHA-1 | 36EBEE49A347A08B9A20A83A9DDB614B1296ED30 |
| SHA-256 | 75E066BC53DBDF14C2447DE12F1AD4037B1861876D0EA1EFE456C621E0A00370 |
| SSDEEP | 96:SkexBeId1d9Megmx9iPj4ApDxLjwVUhntQhC0tJIm5Pf3Vs0SIolnQP+zOGNk:MXzdvHxWpwVWOEqJIOPds0yln3zlk |
| TLSH | T105C17DF77888063A6D1CD7DA6AAAC4617FC1DC67ED6948A0714A4781882340D713E19A |
| 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-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 | ./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/bin/coqide.opt |
| FileSize | 3564592 |
| MD5 | CA16C757A47400C674C93BCB2F80454B |
| SHA-1 | E94728F6F4FAAFC4BB1C6D999F2B7CFDB5D86F5D |
| SHA-256 | 5BF5DAAC7951A63FEB74799B9F2C2C5AE81DC255762452CF759F04633A4FAB2E |
| SSDEEP | 49152:Ro4JjSany/Pw1CLBGru+1umYqok2EquPdCDonGhsG2pJkcfNb8uSjhIukSTyT+e1:Ro4AIxrAMPrbqrkSTcZtkiaOCo |
| TLSH | T10EF5085F66969979C37EC53AC6A5A672BB603C5047623B1B29C0B3310F338B60F6E714 |
| 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 |