Result for 1BD76C0310B18A15AA261612F8DE2089935B282D

Query result

Key Value
FileName./usr/bin/coqdep
FileSize374881
MD5B5A3C46AAEA0E5F336D1C5D0EA44D4CB
SHA-11BD76C0310B18A15AA261612F8DE2089935B282D
SHA-256059E82A689DE9C6A40CD797A3E8E4768E41AD40AB61A9DD333A7DB63B1695115
SSDEEP6144:bNq92YZsTupAA3EgGu9juZWGbDRzXFee3jfx8p0uQozdmt+:bNq92esTu/3EuKlbDRzXFee3jfx8pvQs
TLSHT1E3841806B70C8847E0F20D7009AB435143ADEEA27EA6418BF50CBA5E1BB3BBD565D7C5
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
FileSize6877842
MD562ACC2284455C18372697DFAACF94FFB
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.0pl1-5
SHA-18CE97969C22449C43FE785A48A1B438227B9ACCF
SHA-256D65D72C3772799133F30D7EA5524CBF9C1EF60A50C41A130935CC987517765FB