Result for 00E38F54FEF0FBDEADAE02251DD9BD922DE11F15

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Categories/Adjoint/Pointwise.vo
FileSize136919
MD5D28B3E3CE796D08AA6EF8542147D433A
SHA-100E38F54FEF0FBDEADAE02251DD9BD922DE11F15
SHA-256DFD452F80B796140F1AE7CCE2DE1DAC3329D3BA385E98A1165F5CF2C8B1840C8
SSDEEP3072:I5YIRorwtDjyfYQkxXru2SqKLW6oF+N/sCRBH6T1N:XIFlRtKS6oGEEBahN
TLSHT1B4D3C66BE40FF8B3C6BF09BB6245D24DA764224E84B7450E1D1D925C99D70CF2287B8B
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
FileSize14102856
MD5C74D9C97CE73274FAA83ABBEA2B3DD91
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-2+b1
SHA-14B14643D8C2AC2736B5AA99C0ECE039537FA4DD6
SHA-2564A5BA86A3AB752470FEF68E3ACA544E21692594C94EB23EF648E85EDD873A208