Result for 1630061F129826412610E9561AB710C3DBD2E884

Query result

Key Value
FileName./usr/bin/coqtop.opt
FileSize13639040
MD5793218C30B9778C508D7FA2E98F4C84E
SHA-11630061F129826412610E9561AB710C3DBD2E884
SHA-25626C536B3101B7FAF7CA023058B1C85B49B41C87E7FA6E2560B04A4F096E27B93
SSDEEP196608:NIfnE7N/mjvOgj6Xs4TnXU3sKNtq+/D8AYZV56GMF:N5g6Hk3sKv/DOZ2LF
TLSHT153D66B17BA0C6C3ED9A7A630B0BB2757D315F1447AD297435D1A32256FC20E81B3B9CA
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