Result for 2FDC45D9DD570AEC3D52E7856A2981078016AD17

Query result

Key Value
FileName./usr/share/man/man1/gallina.1.gz
FileSize663
MD537B17CDFB357E473D30DA2863DD6E0D9
SHA-12FDC45D9DD570AEC3D52E7856A2981078016AD17
SHA-256749E3050DDCE31E98E7CA1BAF4FFB072EB763304EADA8772B411E613AC9AC19D
SSDEEP12:XRmIlvZP9HnegRBW9AqTCE4TDX6HfxOcy0pqR14HEf7I0XwxuDBEkIn:X/QguAWCE4q5/yEE14kzI0gY1EkIn
TLSHT16C01D8B6D0FD0C2107C475D1205CB1723435EB81648ABD100E22B98983D4023DF08935
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
FileSize6936722
MD5EAE1BA313B7FCFEB1157B1EC8573B177
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-10247EDC078D61092F55C92E427F899967BE065AC
SHA-256D3ECB74D0FDA7F339F82E2397B02AF82F259D5AF9B761302C0A63DBB5F1CAF40