Result for 1A467C939A1B72B0D6EC952EE746D8CF3882874E

Query result

Key Value
FileName./usr/bin/coqtop.opt
FileSize5462936
MD51B99122999EE6F5DDCFD623FCD0E635D
SHA-11A467C939A1B72B0D6EC952EE746D8CF3882874E
SHA-256AF0151CF79B0E0064E5D6C972B757CD3743A215EC232538F9902FE62BB8604E9
SSDEEP98304:79vS+qw1qqRzvNEXyWD222ibZKQT2WeHCB8QnE5a:BPt9RECWD222ibZKQT2WeHCB8QnE5a
TLSHT10D46D890AC434ABCD26D4B3197AB9B7EBE7086C105014F3D8470E4A67E923F6631E5DE
hashlookup:parent-total1
hashlookup:trust55

Network graph view

Parents (Total: 1)

The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
FileSize8476538
MD532C4A2C78B06FDF2C5BB3E5F01EE2B4B
PackageDescriptionproof assistant for higher-order logic (toplevel and compiler) 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 packages provides coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral-coq package to be installed.
PackageMaintainerUbuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageNamecoq
PackageSectionmath
PackageVersion8.1.pl3+dfsg-1build1
SHA-14AB9F24BE9819838B1D2FBCBFE1EE9E515FD7923
SHA-256C49E67016D8F6B8B251F15353E41F41C03B9AE521970566E05C7651C29C8E78B