Result for 4A8A9CB05E67B16A35FB94B00E9902ABCD72C606

Query result

Key Value
FileName./usr/bin/coq-interface.opt
FileSize5686200
MD57C9A0DFEC6FAF4929792E02408CFDFDE
SHA-14A8A9CB05E67B16A35FB94B00E9902ABCD72C606
SHA-2568E783C3309E806E47089DF3F28D6969F5474BF30AA00A6ECEA22918521209584
SSDEEP49152:CKCfg0s6U0SKnoMxaHrc0EXqzRpSdMkvS1tO3WAjcZANblsKpL2rV/fdg1:CWJEXXcWKLBda
TLSHT12A46E8733C876D22C23AD230ADC743219A76EC66E6A18F6DA720663D5ED5341369F1CC
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