Result for 1866E8DC1D90F673556826D412C6C6A3D2ABA2FE

Query result

Key Value
FileName./usr/lib/coq/tactics.cmxa
FileSize51582
MD588F3DD6CD2780BCA6F09D42C81A23D3E
SHA-11866E8DC1D90F673556826D412C6C6A3D2ABA2FE
SHA-256450AB85491ECA584A809FCE622C320E2CB781F72F14842C76805EE1D2D6F2D8B
SSDEEP768:LaTNkLlKmlY1pF/paendHPu+aroZjUI91UE6R/8YyyHt2p5GApQvhJABR0YZE:orFIAjn82eHgPpwz9
TLSHT13C333AA1F204BB6BE44385B2FF55640629D80CF38A9BCC77B7A45BD88E05DD3068B716
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
FileSize7866004
MD56347C4A31640BB581D5C5429FB695721
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-14BE99A7A202ACB87849042F1CD10D3DBC779C489
SHA-2566409A945E35F7753BC09004FE135DA587564E3343F7F2FBB0F661E8706B32CB8