Result for 0F412A0A13D3C64E173649F837C6581951BE347D

Query result

Key Value
FileName./usr/bin/coqtop.byte
FileSize5038326
MD56D0240FFF688C79EE1D7E0D2218E70F4
SHA-10F412A0A13D3C64E173649F837C6581951BE347D
SHA-256091416E68317E884351B67B5D735E90BA810B284BDA60D544EB227B1A574A3C2
SSDEEP49152:mirbefmNNR1K7Ag4e8yXeUNA4vCp72o8v:mirbeeNNR1K7Ag4e8yXeUNA4vC2
TLSHT17536CA4BB7008EF1D1A64AF2CA97C3812322E7759F43071F299D9A6C39C3B5F6A44758
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
FileSize7438192
MD5E08703C279D48C782958FCCCEA4EE7B6
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.
PackageMaintainerUbuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageNamecoq
PackageSectionmath
PackageVersion8.1+dfsg-6
SHA-1E479A9B8ED3ABC8FB4E15D2F09C7E3A7128153DA
SHA-25662D5E13451FEF40091DE7F5C5203F1C162E8E0AEDD81744D8418BCCB75DCF85C