Result for 0D27B0BB2B84C33E20B982297FC8FC7AF7D1AE51

Query result

Key Value
FileName./usr/share/man/man1/coq_makefile.1.gz
FileSize320
MD5102739078771F87CB7538FA5CD77BB74
SHA-10D27B0BB2B84C33E20B982297FC8FC7AF7D1AE51
SHA-256B0126EBE687BD22F8FC5335CD26B71CF51430E615F242F7CE7815EDD00FB79B2
SSDEEP6:X2dJblIm9oH7Pw9aAerHZM9z83aO00B4Su19QhGWEKyLFUAQruoG/FPPI:X2FIm9c7PVAuowKO0sCO5EDFUAGnG/C
TLSHT196E07D2D69585169EF4E6131AF5E2801B1204B910AA0317B419979817A16C481D1378F
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