Result for 08B412DECFA915EFD06106E50FA70EEE0D1CEC2E

Query result

Key Value
FileName./usr/bin/coqworkmgr
FileSize25146376
MD5B3D07D8CFD5A3C07DB2D3D723D80F83B
SHA-108B412DECFA915EFD06106E50FA70EEE0D1CEC2E
SHA-2560EF6A206FE588EC8ED111A8E210D5FE84E3EDADBB6D1270FB4B4B6995D92833E
SSDEEP196608:hw6mPzABdWZRszijNPdaABKmaEN3cMausXrpJHuk6qyS5AgYE1:hw6ubagKmaEVCusXF9byw4w
TLSHT11C4739BFF85CF929EE8985B18B9467D77339E4492AA1C353158132207EC72D84E3B1E1
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
FileSize102168100
MD57BD58BBADF836A609489B2B32E266903
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.16.1+dfsg-1+b2
SHA-1B7C76F613EEF1B02AE32BB50FD27B594930CA6D2
SHA-256BC0459563878DD36E50A432D9996C7E0EE6018C49F62880CCDC319F78317716F