Result for 29D7E7505DA643069D67320A67855AF7EA774099

Query result

Key Value
FileName./usr/share/man/man1/coqmktop.1.gz
FileSize453
MD5E8DD9FF160D1861FAD14132C4D71B199
SHA-129D7E7505DA643069D67320A67855AF7EA774099
SHA-25669BE8E01BAE92961A14C8146F938B5CF35A3A71424ADE0D686121EAF41E34B55
SSDEEP6:XRRvaPAlU39+10kq82qwkZvikkIfmElxH+Yjc1X2dU//VeEKQHzbB10qs21sgll:XRxly9+Ga2qwkuMmEnHzcp2zEK8B10Y
TLSHT1F7F023E4A2BC8A3003396D4CDE2753C5E1FB9EBB8D8ED7103518A34B024C51DE864BC0
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
FileSize6936722
MD5EAE1BA313B7FCFEB1157B1EC8573B177
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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq
PackageSectionmath
PackageVersion8.0pl2-4
SHA-10247EDC078D61092F55C92E427F899967BE065AC
SHA-256D3ECB74D0FDA7F339F82E2397B02AF82F259D5AF9B761302C0A63DBB5F1CAF40