Result for 002964B8320846555DE8E7D8D27FA766984EF381

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Modalities/Lex.vo
FileSize196111
MD5D63AC111DFDBCC23F75488F8098717A9
SHA-1002964B8320846555DE8E7D8D27FA766984EF381
SHA-25602169DBE5FE2B9779263BDDB8976ECAE90DF10812D324D0F2A2B9472B10CF832
SSDEEP1536:l1osbNCel2C07QrjKG87zhbuW2yLYUBaOyLkVNQd5va9rzvZFJMAIrOO6JXqtJ6y:7osbv2eD6uW2S4SNQe/t9IrzAXuJE2
TLSHT1D614ED96DE42EF7AC39D4F74AA6F860AD36C93DEE327450D191FC1884BC728511CA28D
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
FileSize14110656
MD5003732525E6EAC9D1758B92E743B1C68
PackageDescriptionCoq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-hott
PackageSectionocaml
PackageVersion8.16-1+b2
SHA-12D65F753212A01FF406D4823CAECFF573980BD7B
SHA-25664E577CDD8746B4FA4B3F4076B76A4B0A5323790C3133915E7F8B20A76CC772B