Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/UniMath/Bicategories/DisplayedBicats/DispAdjunctions.vo |
FileSize | 707973 |
MD5 | E891EBBF48EF76B8CBB487B2111EBDF3 |
SHA-1 | 00053DD676473C6FF620CC9AB38710DF1076EDDC |
SHA-256 | 06E76AEA1B5B4B7776983282C488F57D26F1E8BDC88C0E83DD4F13818CE91CEC |
SSDEEP | 3072:R8xH7dxsVGZYW3XF6sMiiBnunz7+peCkgeqSb3meincfiwF2wsnKKUB/:R8xbT4c2iqnWKICkgYmeIws0/ |
TLSH | T19AE45981CE03FB3AC39C4735AA5BC605C3AD53D5F6561A9D216F90CC9AD724622CA38F |
hashlookup:parent-total | 1 |
hashlookup:trust | 55 |
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 |
---|---|
FileSize | 40803152 |
MD5 | 610C09660113F3120069394B2AC42872 |
PackageDescription | univalent 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. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libcoq-unimath |
PackageSection | ocaml |
PackageVersion | 20220816-2+b1 |
SHA-1 | 411A5D392268BA26227C60D3F4436D644DAE6E99 |
SHA-256 | F5DA7130D562130AFAA117BCD60E76A619AEC101C900DE1E64B98E9B6B72CE56 |