| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/UniMath/Bicategories/PseudoFunctors/PseudoFunctorLimits.vo |
| FileSize | 53889 |
| MD5 | 4B4A0F3CBC37949F5DD1EFA77B07C7CD |
| SHA-1 | 009E288D6E21729D7A813E983F261060FF9E1B6B |
| SHA-256 | AD87A53D0140C25477CFE43E65BE74C0D5BA112778966C92A018F14F36F4486B |
| SSDEEP | 768:/jGgauYVVrn1ZZo5u/FVT9j42XL7MS9I2wVnC4JI6VnuXISxyvUO0:bjYVtBoOFVT9k2PCNCeIUnuXISxiU/ |
| TLSH | T1233365ED807D1126EB6FAA7313D5928DB328078EF1270D952D27D68807C454A73DEA4F |
| 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 | 40790484 |
| MD5 | 52D49BE4F392BF0969023D33C4D7DDEB |
| 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-1+b3 |
| SHA-1 | E00AD4597F4F82068EF3AACC8635F0AB608D7546 |
| SHA-256 | 036AE2DA029C9E285793290B28BC08E602668B14E95B061C38CB4682971F9B23 |