Result for 1B6D37C5257A00021FE6ECC14FD9242E26AA23D2

Query result

Key Value
FileName./usr/bin/coq-tex
FileSize860584
MD5FD384A6C8E04F279386D5618723B5CDA
SHA-11B6D37C5257A00021FE6ECC14FD9242E26AA23D2
SHA-25661158FD9BB52BBEF95CBBCE01B466AB081AF4FE3AC4331E44C6D09E7F9DBBFE4
SSDEEP12288:hPZW3myEDyaPHyHDxDjcg4KtfrmnOXQv67NnArFQRrJ:ho3myEmeKFDpZPXI67+eRr
TLSHT117054A07FA0C1D2ADCA66A30747B1B4B9312F5CAE6E24752694EB4383FD31C85BD62C5
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
FileSize88355300
MD586427F8C6E1257E2450E93CDC16C3168
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.12.0-3+b3
SHA-1AF003539E5632CB19A48B5911E530F284A2E2010
SHA-256A2945745F4C42676C84CD965B29943D920EF8AFDEA565D6C4567D3F5E081C73C