Result for 109ABD340C4C40D948E9457CE4980132A16B0AEA

Query result

Key Value
FileName./usr/bin/coqtop.byte
FileSize45125854
MD58DC57C64B590BBD36FA1624FA964304A
SHA-1109ABD340C4C40D948E9457CE4980132A16B0AEA
SHA-2568AB3C777CBAB97D8E218CDEED600383FC12B0E2F8A05BDFC9B8F3096AB1CF257
SSDEEP393216:zB7UYApPojK1JWOsnEpPdW4iDwzQcLT/C2ElBx21+mmDys00FKL8pUry:zNUY2PojK1JWOve2+d
TLSHT134A7E70EBB4A5961CC9806FEDDD9828F4320493DA6D34DBBC19F06D984C271E2F55B8B
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
FileSize73424612
MD5D3F617757A48BD99DDAC582A7532A1E0
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 Camlp5. . This package 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 package to be installed.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq
PackageSectionmath
PackageVersion8.9.1-5+b1
SHA-1A5123FC95F8E42833A016F6F75B9678E894BA15E
SHA-2560306659EA27CA0D98F610B437EBFE9FDB8808C9DE0D8257F84E859999086E1DB