Result for 300D8612F9917C268CC55A9B2CF6DB09D0D13399

Query result

Key Value
FileName./usr/share/man/man1/coqdep.1.gz
FileSize1431
MD57DCB038851536E3A72BA6266E881D192
SHA-1300D8612F9917C268CC55A9B2CF6DB09D0D13399
SHA-2560166EBFE9215D2E6EC152AA972C8AA605797C456D5C78381ADC4F598E6151869
SSDEEP24:XwHePeVOrFQDYnvwszNfmKBY9q5aY62ABuMIW6cDVj/+ruMP6XJ4/UGq0viKMnW:XyePeoiEnvNM9qE+MIlcxj/+r9Prs1Kj
TLSHT19521E921BD365725C92A11B85EB4BB2EE8A295F4420D941A99F8099FC8A860C51AD12B
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
FileSize3187830
MD5C2DE55022CCEA3636CF1F08E6913CFAD
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This packages 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 MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageNamecoq
PackageSectionmath
PackageVersion8.0pl3-2ubuntu1
SHA-1DECFC7705E38178E73B635806FA23242FC0CCE22
SHA-256E234626FE594D886B5CD1C164069994B45C1D0B4167B68F53D5CC93F11A4E988