Result for 1B4B17BAFFA5EAEA40F133368E9AB506B68F3E1D

Search result
Graph view
Parent (2)

Query result

Key Value
FileName./usr/lib/coq/plugins/ssrmatching/ssrmatching_plugin.cmo
FileSize491469
MD5728DF9237978C481A83D10290CFAA6C9
SHA-11B4B17BAFFA5EAEA40F133368E9AB506B68F3E1D
SHA-256AEF84555B04502A0E6A3EE7752774ADE4C089097AA532B5076A05A9DA83BC055
SSDEEP12288:fXoT05Pv5A4r2l5G/m48u2sTzj6/eBV4Z8j/:44r2l5G/m48u2sH2/uM8D
TLSHT146A42F2BFF880961E9F817FD85D461CF092A076CD283C9AFC52F16E95CC630E1B89566
hashlookup:parent-total2
hashlookup:trust60

Network graph view

Parents (Total: 2)

The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
FileSize6354016
MD587A2154326C604C505BF5611C4516E6C
PackageDescriptionruntime libraries for Coq 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 runtime libraries for Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml
PackageSectionocaml
PackageVersion8.11.0-1+b1
SHA-17E8F63ED0D5F541CF7AE0F1AEB2FD84451EDF1FE
SHA-256B714804A5879FD2B6AB1D984D89999558EEA327C25D05568584DA24EE2588ABB
Key Value
FileSize6753356
MD522EC956EBB59855A3CF8C291FA1FDFD4
PackageDescriptionruntime libraries for Coq 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 runtime libraries for Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml
PackageSectionocaml
PackageVersion8.11.0-1+b1
SHA-1F4A4FEB6F4520A599AA1DFDC3674F4CFB45469CF
SHA-256AD25DD9D96CBAFD94EA341F509E6DC32BBDCA23871EE933487E81F10B6FC391E





metalookup is a service from miwakeru.com