Result for F53216EAA36E94FD29BAFB95439DFA8BB7C870B7

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/bin/coqide.opt
FileSize7768712
MD542BFE787159719BB561BE2AC4E095CB0
SHA-1F53216EAA36E94FD29BAFB95439DFA8BB7C870B7
SHA-2560F37C3D8FA08B896D936EDA2D923FB4445FDF9226D88DE10DB342FF5B7BE6B89
SSDEEP49152:qAoZtnfI68sNZdcFwxRqcscwSaYl4XuCkKT+fZD/OPlBqzdW5mi9g8vKrYeV/ldE:qAojfLqcNO+fZ0q+PWYqldb5lGsT
TLSHT1CF768497AAC0CAB6C4BDC9398AE916337FF1785547B1B34129E063212F138B94B7D781
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





metalookup is a service from miwakeru.com