Result for 0C68F2EE92528D51DBDDFA12D566B9A4F3D3FFCA

Query result

Key Value
FileName./usr/bin/coq-parser.opt
FileSize8020732
MD50E50DE71FE27058F81FF0E9A988AEB81
SHA-10C68F2EE92528D51DBDDFA12D566B9A4F3D3FFCA
SHA-25661AE758FDDEFD6445FCDD1BDE9871A0203566E4FA5B1B6BB4B2485220D68D9DD
SSDEEP196608:BPcILutFtOb67Jd4FG22YUc9UivggFTDJhQSKEk:B03tOeHT
TLSHT1D4861AE3FC490A7CC2ED4EB096AB57BBAA70490339905339CD68F1503E823F997295D5
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
FileSize13698864
MD51A619118FD1079024949EA6763405BA9
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-coq package to be installed.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoq
PackageSectionmath
PackageVersion8.2.pl1+dfsg-6
SHA-13D9FE7FA9941EB51469E320B9B91FAEBE95EB114
SHA-256B31FF4C4ACABC675F37A9B8F2683A0F70A218CF77811E95B3E9B5BDE767FA736