Result for 31C4297A33AAF0B8C4CBF8C43B733E1F69F7D6CA

Query result

Key Value
FileName./usr/bin/coqdep
FileSize4785581
MD5310DE8FFDFBF452332362795FC57B896
SHA-131C4297A33AAF0B8C4CBF8C43B733E1F69F7D6CA
SHA-2566F7A9A9E5742290578FDC9EA2EB3D1A6F6089251B0556203F7A95554C736E614
SSDEEP24576:BPZ7XF0DOJ7YlpfZiqDy3f23t+pRaLFluG5FvnAjriHzEAH3Xnzq63Fy5zJignCx:n+sf2Ap4lnY2nHw8KdjVbiH7QA
TLSHT13726F71FE76A1A22CCD80AFE9CDA428B17A0593D82D24DBBC05E06D5D042B1D5FD6F4B
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
FileSize105883668
MD51DE3EBEA232B1A47AAB741B156F42263
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.12.0-3+b3
SHA-172F1714000A5B7154737D35EA73CE1FC01A31C0C
SHA-2565F1294192C51639D4DFAC915446D2E363ED540F69FB63878B1F6A67115E43B51