Result for 76FDF463B38A88273C4F3E48A0D9ECEFAA27C80F

Query result

Key Value
FileName./usr/share/man/man1/coqide.1.gz
FileSize1155
MD5229D51DCCCAD98F61587300F1979C6B7
SHA-176FDF463B38A88273C4F3E48A0D9ECEFAA27C80F
SHA-256E39A320582071927C3EF8E2BD2FB3AC54BAA1FA11B57B87E0D19EC485517BC2A
SSDEEP24:X82sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:X8v4sQUXeEtlaFSDx9mCZ9
TLSHT17821C6D877A6D24012DA43AB5C749A0B176F0BAAEF1DCA308373C19AD4AB05748222D1
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
FileSize1411456
MD557E23E027468AB5C16D0119FB0DAA66D
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-18C51FAA9BBA574EC446A999DD4E4FAE9985B332D
SHA-256F14E6C9C52BDF9C359E18DEEB2E57F59FFA5A4A04E3B57F31DCFA30450302FA0