Result for 49E5ABD7135B13FB5AAB3223A2874397659935EA

Query result

Key Value
FileName./usr/bin/coq-tex
FileSize289714
MD5F1A28A4AD37E883F69222567578C68AC
SHA-149E5ABD7135B13FB5AAB3223A2874397659935EA
SHA-256F0F8E59F67AB5166BA72EAD32679997A794AF077299A53403DE6958697DD0158
SSDEEP6144:1isBqJyApGR0HHbk1fygb0za3Vi3jfx8p0uc1d/:1isBq1V4ygb0za3Vi3jfx8pvc1d/
TLSHT1EC54F803B71D8D5BC0F11E7489E7431223A5EA613E51070A668C7E5C3FE3B997A5ABC8
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
FileSize7034058
MD59671FA0AE1E16606C1D84C69F7839451
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.0pl2-4
SHA-1FA626E68E71B452F183242DB32D63DFDCCE7B489
SHA-256E8AA86D8E8EB64341957AEF7111302E78423D9F7A420A188598D011AF64A04E6