Result for 01228683AB6F414491FD7C02446A73994EA05FA8

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/WildCat/Yoneda.vo
FileSize116409
MD5714D23C4DCAE2D45ACCD870211308A02
SHA-101228683AB6F414491FD7C02446A73994EA05FA8
SHA-25690707E48FC6F25A0815823402025E6B33EE400C52E95ACED2789510A13802A97
SSDEEP1536:3XlQGazf57gJDyfSE2qa6/gcpa3bJ6PqQ:3XlWzxgJOSX3cercSQ
TLSHT17BB32205E943EB7ED3AD0BB657168244C3ECA38DE6612A0D256F91AC99CB14723C73CD
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