Result for 247B8A7206D8BE4F720EE8310E34E5CA157967CB

Query result

Key Value
FileName./usr/share/man/man1/coqide.1.gz
FileSize1155
MD56D8B19C9E64625D9A51A012A50F476AB
SHA-1247B8A7206D8BE4F720EE8310E34E5CA157967CB
SHA-256EA432FEF030001859E2E4C25E29D298C4A6E81E2FD8B0D82987A1ABC2E1FDC63
SSDEEP24:Xg2sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xgv4sQUXeEtlaFSDx9mCZ9
TLSHT18721C6D877A6D24012DA436B5C75AA0B176F0B96EF19CA308373C19AD4AB05748222D0
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
FileSize2118114
MD5A3DFACA79971E5CA423D5702F247F357
PackageDescriptionproof assistant for higher-order logic (gtk interface) 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 package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoqide
PackageSectionmath
PackageVersion8.0pl2-4
SHA-19F2AD3ECFCBA4677D99F8E2AEAEC1EDE98E87354
SHA-2562F73D454645EED44E8F740E9695C52DA4CC57BB631442653C27342A5C5B51A59