Result for 14324960E9822B7832124B296BDED07309880149

Query result

Key Value
FileName./usr/bin/coq-tex
FileSize308610
MD552C820DF3CF1632ADA5633D6831B12D9
SHA-114324960E9822B7832124B296BDED07309880149
SHA-2563A2CA89631EF8644BE3D3833F7CFA4F36D46D7420BC0DA4B2380091926AF4980
SSDEEP6144:tbnGD6CNuzO30VGSS4lYJZFKDapfNsF4/B/M3jfx8p0ucZSh:tbnGDtNWGSS4lQPNsF4/B/M3jfx8pvcw
TLSHT1DA64D607BA888DEEC4E48E7089CF831152BBF5727F12170F2648765C3D66BAD9E15788
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
FileSize6456426
MD5CEF3027D8D04E96D5D09CD56BC5EA4F4
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-12D8D0B3E270DCC8064DFF8BAD3F72BFB1B924279
SHA-2561BEC410A37EB4A89CB1E75F32197B4660E10F7E23D5E01A8087E61B7CAA70F5F