Result for 106F81C42758386986DEAC76F0B07AB817AA1B2C

Query result

Key Value
FileName./usr/bin/gallina
FileSize270611
MD5567197A90857D939B1D18C37E30DB408
SHA-1106F81C42758386986DEAC76F0B07AB817AA1B2C
SHA-2566DCD80739CA46FC8DA366D3E63D63C9173E08B5E7D9B9E04D642AD24AF836911
SSDEEP6144:MdispQ8Wxn8RoYee4xGU4xb3jfx8p0u8d:MdispQJ2oYx4xGU4xb3jfx8pv8d
TLSHT1E644F74FB70C494BF1B20D741AEB439143E8EE513E954647B14CBA4C2AB3FBD461AB89
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