Result for 05F33AD625C739735DCF72BFD1F2112A7F6709A3

Query result

Key Value
FileName./usr/bin/coqmktop
FileSize268724
MD5DAEBD0B2A3D00023BB0EF040C9CA2D60
SHA-105F33AD625C739735DCF72BFD1F2112A7F6709A3
SHA-2561A1B2328B03311003356B4C4990CD1D1F62B27430304262A565F951D43015477
SSDEEP6144:w6XW4LHX2gJaqEFSqg7MZG2q4xJTz0ONRYh/AZ1qHd:nWiRWzNRYFA
TLSHT1F8442840E842D534EE650F73519BABFFAA344101541B5F37CAD0E869FEB66D0732A2AC
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
FileSize7452960
MD5CBDE20F761C41ECF73DA587800B4348C
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.1+dfsg-6
SHA-1345912F80ED07241E1500BAD33948EA3D700127D
SHA-256BCD9064F7FB9BD76EFE462E9309F606403631F9ED4FDBA4FA852B542EB5F526D