Result for 44195FED0B575CCB70E83198EE85619DFD48C8F6

Query result

Key Value
FileName./usr/share/man/man1/coqc.1.gz
FileSize1193
MD5DF7B539147E10B6B5F8A369729EB0D92
SHA-144195FED0B575CCB70E83198EE85619DFD48C8F6
SHA-25643E2198CA07E5DCD95CA2D2695C5DBA2B77D8F9D637F5089C1EED1A9AEBB1D94
SSDEEP24:XRtHe9JUyAcemTbaHEV7+KrE13uCHVr+9Fb9hEbVcrTvISc15:XR02cemTbaH2E13HVcb9ecrLIX15
TLSHT1F321D7E23E6E1B2CEF6C186CE902868DA388D7106D2589F41239932531C2B46517C5A3
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
FileSize6959208
MD5F3ED3D11BE1DEA5A6B01C64CAC4E5CCA
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-131749D7FADE9AE0642B8872E51A0AC9C980D8905
SHA-256A262C186642ECA6CABD9381C9A9070481F4BD2592DD0377EFE8A85331CEF44F1