Result for 17F85812AA22C92E8E9EFB48C32468A76481B033

Query result

Key Value
FileName./usr/lib/coq/plugins/field/field_plugin.cmxs
FileSize67924
MD5D1EAB148883F4A1186DB6B4C6E81D6E1
SHA-117F85812AA22C92E8E9EFB48C32468A76481B033
SHA-25634C8002765A50DCE3E69D48AFDE09FD0DCD174E750FC112BDCC1692AFC553521
SSDEEP768:p5cC0BmIBB0PdKR3Y005jaznT5y+YtCH5vbG3LTZs0l8KaqWx5JOoSYrR0:tJPkRY00gT5y+YAqbNsPvk
TLSHT1AD63D623F7D8B82DD0274E740857437127BEA9412ED32197DB64BE263C635A25A79EC0
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
FileSize1378528
MD5BD5DBA22C1C14FF517C49EA0E722A316
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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcoq-ocaml
PackageSectionocaml
PackageVersion8.4pl4dfsg-1
SHA-13C2E613DFA1D6FF75EDE92FBEF469817D3AD56D6
SHA-256DF9ECD53593A202BE090D91FF4EB79808E472E71194AC96F409215BDC436B330