Result for 0BF6B1F40B1A020B38720D36BB5BDA7B95F04052

Query result

Key Value
FileName./usr/bin/coq-interface
FileSize4902432
MD5F7C2FF7203188FA9532E901432B7F3D5
SHA-10BF6B1F40B1A020B38720D36BB5BDA7B95F04052
SHA-25696F186F4F20E77D248EF68EFCBFB5CF93D1024E9AA6810C833738759958496B7
SSDEEP12288:uNVx2cd3rJSxu0pCF3jfx8pvQqXKWVPIZiwf48DSFPVQExyL+kmrq/21EfWNrJvJ:uNVh6u09ESFHsF7I3
TLSHT1C136ED0BBB004DE1D5A60AB2CE97C3851326EAB5AF03171F299D9A5C39C3B5F6F44748
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
FileSize6954142
MD5CA62CF9AE9DB1BAA26027D213D39A84E
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.0pl3-2
SHA-1179EB54248904E13D0E51A7010207611FB331E34
SHA-2562726CF7289483037F9E56DCA795A0FFA29568318CB042F4FAFFCA7865CE98C2D