Result for 02FCE1470745E5E20535A951BF0D3DA283BEC3A8

Query result

Key Value
FileName./usr/bin/coqworkmgr
FileSize1944072
MD578A95EF45F56D850E713BAA99AE694B9
SHA-102FCE1470745E5E20535A951BF0D3DA283BEC3A8
SHA-256D1E03F428278733C8496DB3B814CDD5D348ECB2D6F74CD15433E5FCD966E155E
SSDEEP24576:swPA1mZY+eyljNEa52q3hpdI5FJZNvsFvnIbF9I:FPA1mZY+eyljv52q3hpdIzNvsFvA7
TLSHT19C951A4BF99ACC7DC3FDC238899A4BBD7D71705881A11B0619C0A5201E43A9E5FED7E8
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
FileSize78727692
MD5345CB229DB3027ABAC82315F21C81AC7
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 package to be installed.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoq
PackageSectionmath
PackageVersion8.12.0-3build1
SHA-15FBCC12FC4967F0184FC870EE47CB7423B16888B
SHA-256333FC6B7D9D71DEE3B06B1F23CB81DB4D6FC03F7F9B80F050CCAFAAB191735E4