Result for 00D6D6E3E4F77AF8FD91B6B6A73C2080CC7D2D83

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Categories/PseudonaturalTransformation.vo
FileSize34039
MD5E8CA6B2D9A29DD5D91C5063C2F00284D
SHA-100D6D6E3E4F77AF8FD91B6B6A73C2080CC7D2D83
SHA-256B5010C2242B5C7C150714315A13F281406F466780B5C45BC1CC7E9D4C1A1B2BA
SSDEEP768:+Iqdef1UNa+hcxKRlo/QVeGgBOyy/vcrpOdd0ud1/NlJzK/x:bfUa+hcxKR7ViqXcrcdR/HJzk
TLSHT1A8E2749FF00DC8BFD75D597DA6595A9C38B1702F8DB7C4D11E089B2829C2ACE064AB43
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
FileSize14074532
MD51B01052782FB64E52D9B179DAB4C8BDC
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-1CFD87497682DD0A5338FBC3B7D3939662B89509C
SHA-2563B78F77B7A76A51DDDD25DFDD5A0E57A1FE420E1F60E48EDD5E5FDCC40ABD591





metalookup is a service from miwakeru.com