Result for 113882942E6ECA01C3DC08E1B299E83C83542CC1

Query result

Key Value
FileName./usr/share/man/man1/gallina.1.gz
FileSize663
MD5DC52AA01CE1545420356377FE7C9B0B6
SHA-1113882942E6ECA01C3DC08E1B299E83C83542CC1
SHA-256E9C808EECAEC54A89A3EE03A92585D000C5FC7E84FF9F5E08CD34C5977790921
SSDEEP12:X2zIlvZP9HnegRBW9AqTCE4TDX6HfxOcy0pqR14HEf7I0XwxuDBEkIn:X2sQguAWCE4q5/yEE14kzI0gY1EkIn
TLSHT1880188B6D4FD0D6107C576D1205CB1723435EB81659ABD100E22B9C992D4527DF04979
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