Result for F7A4AB172AFDABB93057E82CD703C9FF97C33AB6

Query result

Key Value
FileName./usr/bin/coqide.byte
FileSize7489977
MD57F493D64D168B414199CE397A0795AAF
SHA-1F7A4AB172AFDABB93057E82CD703C9FF97C33AB6
SHA-2562F8C4C1DBAD6865D8D523A9C3FF2FB2BCC404166F643755E39C530E91FF0B407
SSDEEP49152:ioDdHjVPIePwFYIZ0JTsTWc/LNlUq8yxTQXu0/aq94Zu1JFGxI8vYhBJuZPhtJyf:HdHjVP1wFYIKTsTWcTNlUq8XeRwnDT8s
TLSHT1C976530FB7109DA1C4A64AB2CED783412335E6B6AF030B2F299C561C69C3B5F6F45789
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
FileSize4257524
MD5D56B87B5BDCC24C75449CC47C1BC14AD
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.0pl1-5
SHA-15C469C8345316BDFF174EB62B8243AA799E44196
SHA-2563658BC2CD892FA8787E69658D2C40DFD463605B24B0ADDA47373B868C7849B11