Result for 002CD660F2DCCA1C43F7550575CCB116283EA2F8

Query result

Key Value
FileName./usr/lib/coq/kernel/subtyping.cmx
FileSize2992
MD509D41A03189C4CBF9DA8DEBEBCF474FF
SHA-1002CD660F2DCCA1C43F7550575CCB116283EA2F8
SHA-25627461111923D5BD97BA097035A0E967C862FD1A9484B433D7F927351DB5AB269
SSDEEP48:Ekebf5cMSDn6b0NzePKgSR0rFlrqKQc9IgRlChl8ZJi2s/14jyKvaAF:EkebRcME6bizePHSR0TqKQc5u8ZJiTML
TLSHT1FB51D89EE779B04304DDBA72927DB06580688DF22EB3CE6E634DD54706E9DA2253310F
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
FileSize13698080
MD534350D1F8B45423921AF71300BF2DAC5
PackageDescriptiondevelopment libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.9.1-1
SHA-1C3786C48F8FEF4B1DC85D12D0A9631088B43F2C6
SHA-256559BABB527E1FC34F250ADC8E42DA4C6D2CBD6AAA2DF69810A5C5DC76DB0EB8E