Result for 37CC246B244769491662CC0FA0FF339413DCF217

Query result

Key Value
FileName./usr/bin/coqdep
FileSize365962
MD5A60A415ED4DCB5BB043FDEA611F9B480
SHA-137CC246B244769491662CC0FA0FF339413DCF217
SHA-256D41D8BC74D2535F6DB0E7E18AFF1639928087162D05EE34A820E79EA96B94079
SSDEEP6144:ntNqAd4DUnV4RSP6/Dn8z8zU7T83jfx8p0uQozd6tJ:tNqAdMz/Dn8zOU7T83jfx8pvQozS
TLSHT11874F903731D8C5BC1B05D7084E7835623ADEE906E51438BB94C7A5E2FB3BD9661ABC4
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