Result for 02CF11BD464AF8363ABA7731859528C4E2888E9D

Search result
Graph view
Parent (2)

Query result

Key Value
FileName./usr/lib/coq-core/plugins/ssrmatching/ssrmatching_plugin.cma
FileSize593197
MD5F56588BED508DC31CAE6EE11C3A761E0
SHA-102CF11BD464AF8363ABA7731859528C4E2888E9D
SHA-2568B6D2AE6A702718336CD7B645C9E9A7D2F44DD96F5949890B5DF64005985385A
SSDEEP6144:LZ2T7/N3mdvboQ4D+/peMMHa4JhGxv0HGYk+AqyxRBAsFZGTRh/:LZ2T7/N3mNbvrMtGZAPVA77zgRJ
TLSHT14CC4313BEE5C08A0F8F517BA88E891CB4DAF879D5783C59FC12F02D4A44A7191F4A647
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
FileSize21636996
MD547F48748BF94CC0706E0F91A9839D218
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.14.0+dfsg-6
SHA-1454EADC3DEB707DAFDBB858D0B10392B8842C398
SHA-256073B4671DA27D7C20DACCAE915C6B5E3393CFFAF890F112675AE4AD269C964AD
Key Value
FileSize22290168
MD5E1AEF5952D1ACF849FCAF4AF79BC5732
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.14.0+dfsg-6
SHA-1C746A3CA87D0F3EB28C5101DD5C04D01D090ECB2
SHA-256D63D76F24786CE85E551B048617653B6DA0C1FA5AC0337A3A84A9C862D3D728C





metalookup is a service from miwakeru.com