| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/UniMath/Bicategories/Limits/Examples/UnivGroupoidsLimits.vo |
| FileSize | 72860 |
| MD5 | 4AABF3376C2BEA2F33379034933CD608 |
| SHA-1 | 002F265010B3660237989E1F3C7C4E393697C059 |
| SHA-256 | 523489D3322145CA47A0C84CCCF189E5CB104C656D71E637098966186D318C65 |
| SSDEEP | 768:5o2hWD6zsXoZbTcTJm6iK2bpru7IHQGLWvv+sK00izOJTkz:5fhWutcTJm6iVpru7qLuv+O0izO18 |
| TLSH | T19563719AA47BD577E37E9A336391410DF368438EE56B1D582C2B449846CB08723CF68F |
| 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 | 40803524 |
| MD5 | FD25E0AFC87F700E8B7D85322411099B |
| 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+b2 |
| SHA-1 | 433C414CEC44B42AF1A0C8166E637EB4DC93D04F |
| SHA-256 | 5D9E948D54EEAF7C8D1C40426EC013CEC9B0490BC0F6422CC8C9083FD3957C01 |