Result for 1B54FE6A6D4899A48DC0640A952B77FD5B76B78B

Query result

Key Value
FileName./usr/lib/coq/plugins/syntax/string_notation_plugin.cmxs
FileSize38400
MD5BE81894F83711C0F29BCE023738C7E3B
SHA-11B54FE6A6D4899A48DC0640A952B77FD5B76B78B
SHA-2563F8D489DE6E39A8FFB420C58658F3E9926D9F9437A3E6FF7FE4E5A30C924AD73
SSDEEP384:2l0Vct7/nOLelsAz0azanhOilIBEmd8P16tsABe//VkQd6o/:M1OLe2Az0aGn3LmuzAkXVka5
TLSHT17D03D68A3D85843DCD7A533780BB0134B2B8F5926671A7B74284B3183E63315679FEDA
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
FileSize7761932
MD5EF1126AD34E12167B3D1F8173E75D9C1
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.12.0-3+b2
SHA-16EC5122FAB2E83BF9C3863D4D3698F2DC5971C6C
SHA-25626C13B613A25699DE3B1C4C105B10D5E6309F3B81091D3311E297AC8DAB6D7F9