Result for 37900FC9A6949E4D3B5ADCF44EC2CF6AFBB1A0C1

Query result

Key Value
FileName./usr/lib/coq/plugins/quote/quote_plugin.cmo
FileSize93618
MD59D270B332C3C3312E15B7E6E392A98D3
SHA-137900FC9A6949E4D3B5ADCF44EC2CF6AFBB1A0C1
SHA-25682AB0A6F7DEB53210E8AA0FAD2E48AF0C27EAB4A526FFEE5BE4F5048E0EFF272
SSDEEP1536:PSR+RZMuQUau4z8dXllMHrUFCYJ4Nur/5i/cpIPnAPpiOPbfcRZ3:zZ14z8ZwHoFwsxkTPAPXbfYZ3
TLSHT16793A60966466922CC9D05FDE8F2C5EB4A2C6769E0F2CC278D7A4AC799C176D1FC3312
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
FileSize3805604
MD5282A05D9BB56A1692D03EA6EEAE2DCBB
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.9.1-2+b1
SHA-1305224A21B6CDC1470911278C505B94B5A28C0B5
SHA-25614BB35E0C57376A3A1BD1E25F5D5EDE76FE78617DFD98A12FCFA5D279D626DAB