Result for 3737B33245D16AD855BC537572860D74A3207E78

Query result

Key Value
FileName./usr/share/man/man1/coqide.1.gz
FileSize1155
MD55319AC36CF0E9E9D613C338E8DC9C84E
SHA-13737B33245D16AD855BC537572860D74A3207E78
SHA-2569BD075F7FD60F7ED23EF97B2D47180AD9FF3424D1DC30A4D692AA4233FCF6F0B
SSDEEP24:XN2sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:XNv4sQUXeEtlaFSDx9mCZ9
TLSHT18E21C6D877A6D24016DA436B5C759A0B076F0B97EF1DCA308373C19AD4AB05788222D0
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
FileSize3680374
MD53AAAE2CF0995C8C38394FCCB50E5C7D4
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.
PackageMaintainerUbuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageNamecoqide
PackageSectionmath
PackageVersion8.0pl3-2ubuntu1
SHA-146AE46AB59FF4C4AE4DB3379740DD9BF138C4EEC
SHA-256F074F3B21AF15739BC3D26FCFA5F50B033720C5125B702E47F2F00F3C37AF53B