| Key | Value |
|---|---|
| FileName | ./usr/share/applications/coqide.desktop |
| FileSize | 225 |
| MD5 | 4E4BB9057B63270A9887D040B4D9303E |
| SHA-1 | 2AE0699F9CB87A4F48C456B6AD464337A6D1AEE2 |
| SHA-256 | 116D918F25C4372AD650A89CD51BDC8996C43F784E509A34CDD7110B7CDED82B |
| SSDEEP | 6:agQM8lF3DJWBylLEtJ/LDlse2xWocFVzYiu7bD1Y2:rKlF3utJP2ewcFVzFwD1Y2 |
| TLSH | T19BD0A7A6A442012996A83022CD5A89D61EAB052C04B75178D93800614101AC7F58EEA9 |
| hashlookup:parent-total | 6 |
| hashlookup:trust | 80 |
The searched file hash is included in 6 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 4914706 |
| MD5 | B6795D306BCC8BB93C185F5B368C4DA5 |
| 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs. |
| PackageMaintainer | Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com> |
| PackageName | coqide |
| PackageSection | math |
| PackageVersion | 8.1+dfsg-6 |
| SHA-1 | BD2D17E776E833D956AB9421DF54C5B56606D075 |
| SHA-256 | A517A162B0C1437FE7DA656BC2DB7D11880FBD3B4DF12DA2C24A8B1E7CA3E7F5 |
| Key | Value |
|---|---|
| FileSize | 5278710 |
| MD5 | 614BE9D56E790EABCA9D9C5545A34311 |
| 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs. |
| PackageMaintainer | Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com> |
| PackageName | coqide |
| PackageSection | math |
| PackageVersion | 8.1+dfsg-6 |
| SHA-1 | 896550ECF1FF8E4BD9DD7A0AEE6BE113E060A5C7 |
| SHA-256 | 5CA838C9B5694C7B9EC9E0D8D312C1B967799FA373D1B7C51004EF049753E555 |
| Key | Value |
|---|---|
| FileSize | 4662732 |
| MD5 | 53619C3A90D298E636FB6A9D62D04903 |
| 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs. |
| PackageMaintainer | Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com> |
| PackageName | coqide |
| PackageSection | math |
| PackageVersion | 8.1+dfsg-6 |
| SHA-1 | 1213FEA99C542C929C4B5031534431A6C8CF0060 |
| SHA-256 | FBF5012CF8FE1261215732E9B82889A16BAB03BE76C7778B89E2278581835E29 |
| Key | Value |
|---|---|
| FileSize | 2338102 |
| MD5 | 4DFFB017424101ACBBBDDEB8BECCDFDC |
| 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs. |
| PackageMaintainer | Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com> |
| PackageName | coqide |
| PackageSection | math |
| PackageVersion | 8.1+dfsg-6 |
| SHA-1 | 3D63B26CBAB6C88FDD4278051BA2DB5FE595134D |
| SHA-256 | F2D154AA954AC3D82DEC6001A74D7CB0A6D3AC39110714BB0A71E2788AC3941B |
| Key | Value |
|---|---|
| FileSize | 4649936 |
| MD5 | 5DAE6EC59B98AC32E3228E9E5087B091 |
| 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs. |
| PackageMaintainer | Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com> |
| PackageName | coqide |
| PackageSection | math |
| PackageVersion | 8.1+dfsg-6 |
| SHA-1 | EDF7C6E2801DD483BB3C0245070508D1458E94C5 |
| SHA-256 | 95FB0FB13F5E3AB47DFD011969C30899CA79816A58581383D452DA2BAB240D92 |
| Key | Value |
|---|---|
| FileSize | 5209486 |
| MD5 | F6CE0E4E19B7BB7B1D11971C770D6255 |
| 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs. |
| PackageMaintainer | Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com> |
| PackageName | coqide |
| PackageSection | math |
| PackageVersion | 8.1+dfsg-6 |
| SHA-1 | FDBA9B94F0A26D2013612BF9F38390F25B3FFE69 |
| SHA-256 | 6E51ADCC3D997921209A68986B5632B236DEEF00852564DFD794AAF5B92A6770 |