Result for 00053DD676473C6FF620CC9AB38710DF1076EDDC

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/Bicategories/DisplayedBicats/DispAdjunctions.vo
FileSize707973
MD5E891EBBF48EF76B8CBB487B2111EBDF3
SHA-100053DD676473C6FF620CC9AB38710DF1076EDDC
SHA-25606E76AEA1B5B4B7776983282C488F57D26F1E8BDC88C0E83DD4F13818CE91CEC
SSDEEP3072:R8xH7dxsVGZYW3XF6sMiiBnunz7+peCkgeqSb3meincfiwF2wsnKKUB/:R8xbT4c2iqnWKICkgYmeIws0/
TLSHT19AE45981CE03FB3AC39C4735AA5BC605C3AD53D5F6561A9D216F90CC9AD724622CA38F
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
FileSize40803152
MD5610C09660113F3120069394B2AC42872
PackageDescriptionunivalent formalization of mathematics for Coq This package provides a library to formalize a substantial body of mathematics using the univalent point of view. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-unimath
PackageSectionocaml
PackageVersion20220816-2+b1
SHA-1411A5D392268BA26227C60D3F4436D644DAE6E99
SHA-256F5DA7130D562130AFAA117BCD60E76A619AEC101C900DE1E64B98E9B6B72CE56