Result for 0F2519CB0FE3B5B0F16253FE552748F4971CEC7B

Search result
Graph view
Parent (2)

Query result

Key Value
FileName./usr/lib/coq-core/parsing/parsing.cma
FileSize886502
MD5E423D57F0DA1929F1B7B7C5FAA1BEE2C
SHA-10F2519CB0FE3B5B0F16253FE552748F4971CEC7B
SHA-256C34202604F82DC595864F662BAC07F207CF7F39BF72635BACB1D18CACD71368B
SSDEEP12288:VOZ7TGF+sOfbJ5ld0SFdG/Dfi2bwyH94HL67zzto59pKe3z58s2YZvcQ:h+VbJ5DF4Dfi2bwyH9cwH2L58bYZvcQ
TLSHT12D15F70ED7950951CC465DFECEE989A703B2153DE7528AEFA08F02DEC042B4A6F63D85
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