Result for 4028455B9EBA7A8BCEF2001BEE6EB6EABAABEB9F

Query result

Key Value
FileName./usr/bin/coqdoc
FileSize348624
MD50789D4F8813AC66F451BF772C4E9DA64
SHA-14028455B9EBA7A8BCEF2001BEE6EB6EABAABEB9F
SHA-25680146D456DD2FD0167F43D673A501E37A97FA3A9C1441CFA5F5E6974AFE89B3E
SSDEEP6144:L3Jbd0DzIMKvBs3cHPiZLZzLuvcnbFDXse:L3JbdGzIMCD6uvcqe
TLSHT10F740105B749C912D6F646758D9383891BA4ED66DF03428F308CB76C7AB3B2F2E58358
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
FileSize3665522
MD5CE65D257E084BA91D1536454E2CFF9CC
PackageDescriptionproof assistant for higher-order logic (toplevel and compiler) 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 Camlp5. . This package provides coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral-coq package to be installed.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoq
PackageSectionmath
PackageVersion8.2.pl1+dfsg-6
SHA-15FCBB749DA6C374AC908F98FB31C720EA59EEECE
SHA-256D34553F963438BD5272046B72D709E74D2317240555359137C2A65E1785C8444