Result for 2FD55A915024E0FF7E3798926CAEB642C6687C09

Query result

Key Value
FileName./usr/bin/coqc
FileSize3118095
MD5396AF22DE8B24393CF2CEAA8B64C63DE
SHA-12FD55A915024E0FF7E3798926CAEB642C6687C09
SHA-2564219F8F6B2B659A27E501153F53E42201211EEB837F1049303DE3B04BD735FAA
SSDEEP24576:Go+x7+v47j5Edn252Nc3bT7+6tKe+LyGLkKQ2ivEIXNa139Rp6bSB9Tu0lRXlyot:GUZy1eEbqlVpWfJE
TLSHT1A8E5D61EBB4A4A22CC981AFEE8D5C29F46204C3DA6D34DBBC05E07D590C271D6F95B87
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
FileSize73424612
MD5D3F617757A48BD99DDAC582A7532A1E0
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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq
PackageSectionmath
PackageVersion8.9.1-5+b1
SHA-1A5123FC95F8E42833A016F6F75B9678E894BA15E
SHA-2560306659EA27CA0D98F610B437EBFE9FDB8808C9DE0D8257F84E859999086E1DB