Result for 43A1BCF889AA4DF8697DFC321C5412EB0718EBF6

Query result

Key Value
FileName./usr/bin/coqmktop
FileSize358709
MD5825F292EA7173561CC9295CB099B26C7
SHA-143A1BCF889AA4DF8697DFC321C5412EB0718EBF6
SHA-256BA3E0B53981463C814A2D577F9979ED3A98EC1DC9F5251BE92505FB0ACC4761A
SSDEEP6144:kNqDS1GVhgxVNW+NDiz8zzdM43jfx8p0uQs7Bs3:kNqDS3w+NDizOzdM43jfx8pvQs7Bs3
TLSHT1B474E803B7198D1BC0B05D7449EB431623A4EAE16F45470BBA4C7A5C2FA3BE9771ABC4
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
FileSize6959208
MD5F3ED3D11BE1DEA5A6B01C64CAC4E5CCA
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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq
PackageSectionmath
PackageVersion8.0pl1-5
SHA-131749D7FADE9AE0642B8872E51A0AC9C980D8905
SHA-256A262C186642ECA6CABD9381C9A9070481F4BD2592DD0377EFE8A85331CEF44F1