Key | Value |
---|---|
FileName | ./usr/share/menu/coqide |
FileSize | 139 |
MD5 | BB3ADF4C942E8617BC5A2663688DC641 |
SHA-1 | A626A6B6F98FCB192F0A50CCB254F86F6E5A9C8B |
SHA-256 | CE46F0E26A4D2C44AB509167E409B5D965608F5A40A4EDAFB3B32716208B096D |
SSDEEP | 3:2RG0HKL9UaD6WHvINWRITHlUUlDhbQfV1sgHv:GG0UnD4NWuj7lDc1BHv |
TLSH | T183C09B707125D535DE17EA31311102087395F1D14548BF5155B3874097515B057177CA |
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 |