Result for 0998CF6FF142BE76285E6D5356A113E628B92B21

Search result
Graph view
Parent (2)

Query result

Key Value
FileName./usr/lib/coq-core/plugins/extraction/extraction_plugin.cma
FileSize2188407
MD521234F660526F0C0662DDD5004F3AA77
SHA-10998CF6FF142BE76285E6D5356A113E628B92B21
SHA-256F2668BC443610CD55CA3ADA71EB5BA4C70A006B676559BE5C27F7973E147FD2A
SSDEEP49152:FndAD77LR75Hg5gMUbpyYhQm19QIrQF9JKVjO7S:GPLR75Ho7S
TLSHT1CAA5840EBFDBE470C9E614798AD7818602B9D794038ED9276F2E01D4AF617EB5F83805
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