Result for 1F5CCF0A8F37D82FA87AF8730B3EC38AC4A74F8B

Query result

Key Value
FileName./usr/bin/coqqueryworker.byte
FileSize42256758
MD55F7728DBA1CD1F36A7965C208F8449ED
SHA-11F5CCF0A8F37D82FA87AF8730B3EC38AC4A74F8B
SHA-2561FCB849C5F5145CADDE338B185D97AEDB982522BEE93532D4B447242DDD1490C
SSDEEP196608:il/irydmfh2pC01Jxq+VVKZVK83hkfydaZqwIuckP1cnHQ:iTdZVVKZVK8x3d41IuckP1T
TLSHT18B97080FEB152965CD950AFDCCD9428B07E1593D82C34EAB819F06E9C183B0E2F56E5B
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