Result for 260B79E7C208103E7ECC6438CF9418BAC604AD83

Query result

Key Value
FileName./usr/bin/coqtop.byte
FileSize4595916
MD53A173A4FEC128375C9CEB3D6BA9C99EA
SHA-1260B79E7C208103E7ECC6438CF9418BAC604AD83
SHA-256C31A6507B9053D86C930D58674D25070FDA7305FF2D45B745818E0384B58E462
SSDEEP12288:hcNZl2OR0Jbp9mNdnVzl3jfx8pvQqXKWSr9GhrDvg/Hfkee/xBMuc1vr/214JAAC:CNZwJgdn8gJnVu7Zf
TLSHT1A026EE0BB7108DF1C5A60AB2CA97C7851326EAB5AF03071F298D9A5C39C3B5F6F44758
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
FileSize6097406
MD5806FA102C6AFDD7F245E46B8182D4EFE
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-1B7476660E85334C567589D9EAE4C20E5DDCBC996
SHA-2567CB05C7DDA28D58AA1C77B529DD5C533E60D86042311C298DA49FC31D6FC9A4A